Typed meaning in Scott's λ-calculus models

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029528 ◽

2005 ◽

pp. 220-239 ◽

Cited By ~ 1

Author(s):

Herbert Egli