Cyclic lambda calculi

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/bfb0014548 ◽

1997 ◽

pp. 77-106 ◽

Author(s):

Zena M. Ariola ◽

Stefan Blom

Download Full-text