8838 search results - page 21 / 1768 » Generalizing Domain Theory |
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
118
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE