Type assignment in the lambda-calculus : Syntax and semantics

Type assignment in the lambda-calculus : Syntax and semantics

Bibliographic Details
Main Author: Ben-Yelles, C. B.
Published: Swansea University 1979
Subjects:
510
Theory of pure lambda-calculus
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377977

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377977

Similar Items