Untyped λ-calculus with relative typing

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

10.1007/bfb0014056 ◽

1995 ◽

pp. 235-248 ◽

Cited By ~ 1

Author(s):

M. Randall Holmes

Download Full-text