Delete |
Lambda Calculus with Types [Buy it!] | Barendregt, Henk, and Dekkers, Wil, and Statman, Richard | USD 125.43 (Thu Jun 6 15:38:31 2024) | Alibris | Booksplease via Alibris | Cambridge Cambridge University Press 2013 Hard cover New. Contains: Line drawings, Halftones, Unspecified. Perspectives in Logic . 52 b/w illus. 300 exercises. Intended for professional and scholarly audience. |