Limits, higher type computability and type-free languages

Mathematical Foundations of Computer Science 1984 - Lecture Notes in Computer Science ◽

10.1007/bfb0030292 ◽

2006 ◽

pp. 96-114

Author(s):

G. Longo