conference paper

Confluence of untyped lambda calculus via simple types

Ghilezan, Silvia
•
Kuncak, Viktor  orcid-logo
2001
Theoretical Computer Science. ICTCS 2001
7th Italian Conference on Theoretical Computer Science, ICTCS 2001