Some philosophical issues concerning theories of combinators

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

10.1007/bfb0029537 ◽

2005 ◽

pp. 346-366 ◽

Cited By ~ 14

Author(s):

Dana Scott