Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.
By: Sørensen, Morten Heine.
Contributor(s): Urzyczyn, Paweł | ebrary, Inc
.
Series: Studies in logic and the foundations of mathematics: v. 149.Publisher: Amsterdam ; Boston [MA] : Elsevier, 2006Edition: 1st ed.Description: xiv, 442 p. : ill.Subject(s): Curry-Howard isomorphism | Lambda calculus | Proof theoryGenre/Form: Electronic books.DDC classification: 511.3/26 Online resources: An electronic book accessible through the World Wide Web; click to view
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 511.3/26 (Browse shelf) | Available |
Includes bibliographical references (p. 403-430) and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.