Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
Keyword(s):
1995 ◽
Vol 6
(4-5)
◽
pp. 325-325
Keyword(s):
2005 ◽
Vol 15
(2)
◽
pp. 343-381
◽