Lectures on the Curry-Howard isomorphism. (2006)

• Record Type: Book
• Further Information: Note: Morten Heine Sørensen, Paweł Urzyczyn.
• Other Names: Sørensen, Morten Heine; Urzyczyn, Paweł
• Contents: Preface; Acknowledgements; 1. Typefree lambda-calculus; 2. Intuitionistic logic; 3. Simply typed lambdacalculus; 4. The Curry-Howard isomorphism; 5. Proofs as combinators; 6. Classical logic and control operators; 7. Sequent calculus; 8. First-order logic; 9. First-order arithmetic; 10. Gödel's system T; 11. Second-order logic and polymorphism; 12. Second-order arithmetic; 13. Dependent types; 14. Pure type systems and the lambda-cube; A Mathematical Background; B Solutions and hints to selected exercises; Bibliography; Index
• Publisher Details: Place of publication not identified : Elsevier Science
• Publication Date: 2006
• Extent: 1 online resource (456 pages)
• Subjects: 511.3/26; Curry-Howard isomorphism; Lambda calculus; Proof theory
• Languages: English
• ISBNs: 9780080478920; 0080478921
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.