Publisher
Springer International Publishing
Reference12 articles.
1. Barendregt, H.: The Lambda Calculus, Amsterdam (1981)
2. Barendregt, H., Dekkers, J., Statman, R.: Lambda Calculus with Types. Cambridge University Press, Cambridge (2013)
3. De Vrijer, R.: Extending the lambda calculus with surjective pairing is conservative. In: LICS, pp. 204–215 (1989)
4. Hindley, R.: Reductions of residuals are finite. Trans. A.M.S 240, 345–361 (1978)
5. Lecture Notes in Computer Science;JJ Levy,1975