Confluence of untyped lambda calculus via simple types


Published in:
Proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, 2202
Year:
2001
Laboratories:




 Record created 2007-08-21, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)