8838 search results - page 21 / 1768 » Generalizing Domain Theory |
129
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
169
click to vote
LICS
2005
IEEE
16 years 1 days 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,...