2011-05-05 ■ 注文文献 注文文献 Henk Barendregt, Wil Dekkers and Richard Statman Lambda Calculus with Types, Cambridge University Press, Perspectives in Logic Series, Due in July 2011