Delete |
Lambda Calculus with Types [Buy it!] | Barendregt, Henk, and Dekkers, Wil, and Statman, Richard | USD 113.12 (Mon May 20 17:01:01 2024) | Alibris | Ria Christie Books via Alibris | Cambridge Cambridge University Press 2013 Hard cover New. 856 p. Perspectives in Logic . Worked examples or Exercises; 2 Halftones, unspecified; 50 Line drawings, unspecified. Intended for professional and scholarly audience. |