Comparing λ-calculus translations in sharing graphs

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014041 ◽

1995 ◽

pp. 1-15 ◽

Cited By ~ 2

Author(s):

Andrea Asperti ◽

Cosimo Laneve

Download Full-text