An operational domain-theoretic treatment of recursive types
Keyword(s):
We develop an operational domain theory for treating recursive types with respect to contextual equivalence. The principal approach we take deviates from classical domain theory in that we do not produce the recursive types using the usual inverse limits constructions – we get them for free by working directly with the operational semantics. By extending type expressions to functors between some ‘syntactic’ categories, we establish algebraic compactness. To do this, we rely on an operational version of the minimal invariance property, for which we give a purely operational proof.
2000 ◽
Vol 10
(6)
◽
pp. 719-745
◽
Keyword(s):
2008 ◽
Vol 18
(3)
◽
pp. 501-553
◽
Keyword(s):
2018 ◽
Vol 28
(9)
◽
pp. 1606-1638
◽
Keyword(s):
Keyword(s):
1999 ◽
Vol 9
(4)
◽
pp. 373-426
◽
2018 ◽
Vol 29
(3)
◽
pp. 465-510
◽