2011-10-23 ■ 注文文献 注文文献 J. Lambek and P. J. Scott Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge Studies in Advanced Mathematics, no. 7, 1988