Author:
Jiang Hui,Lin Dong,Zhang Xingyuan,Xie Xiren
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference17 articles.
1. Barendregt H P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam: North-Holland, 1984.
2. Barendregt H P. Lambda Calculus with Types. InHandbook of Logic in Computer Science, Oxford University Press, Vol.2, 1991.
3. Hindley J R, Seldin J P. Introduction to Combinators and λ-Calculus. Cambridge University Press, 1986.
4. Milner R, Tofte M, Harper Ret al. The Definition of Standard ML (revised). The MIT Press, 1997.
5. Cardelli L, Wegner P. On understanding types, data abstraction, and polymorphism.ACM Computing Surveys, Dec. 1985, 17(4): 471–521.