An explicit Eta rewrite rule

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

10.1007/bfb0014047 ◽

1995 ◽

pp. 94-108 ◽

Cited By ~ 5

Author(s):

Daniel Briaud

Download Full-text