8838 search results - page 21 / 1768 » Generalizing Domain Theory |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
LICS
2005
IEEE
14 years 1 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
14 years 17 days ago
2002
IEEE
LICS
1998
IEEE
13 years 12 months ago
1998
IEEE
LICS
1997
IEEE
13 years 12 months ago
1997
IEEE