Barendregt, H. P. (1992). Lambda Calculi with Types. In S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Eds.), Handbook of Logic in Computer Science (Vol. 2, pp. 117-309). Oxford University Press.
Barendregt, H. P. (1992). Lambda Calculi with Types. In S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Eds.), Handbook of Logic in Computer Science (Vol. 2, pp. 117-309). Oxford University Press.