17 search results - page 1 / 4 » Recursive Constructions in the Theory of P.I. Algebras |
DLT
1997
13 years 6 months ago
1997
ENTCS
2006
13 years 5 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
DAGSTUHL
2006
13 years 6 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
ICFP
1996
ACM
13 years 9 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
LICS
2003
IEEE
13 years 10 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...