[Lambek--Scott--1986-0000] 文献J. Lambek & P. J. Scott. Introduction to higher order categorical logic. Cambridge University Press, 1986.