An operational domain-theoretic treatment of recursive types.

Saved in:

Bibliographic Details
Title:	An operational domain-theoretic treatment of recursive types.
Authors:	HO, WENG KIN¹
Source:	Mathematical Structures in Computer Science. Feb2014, Vol. 24 Issue 1, p1-59. 59p.
Database:	Mathematics Source

Description
ISSN:	09601295
DOI:	10.1017/S0960129512001004