Reducibility method for termination properties of typed lambda terms


Published in:
Fifth International Workshop on Termination
Year:
2001
Laboratories:




 Record created 2007-08-21, last modified 2018-01-28


Rate this document:

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