Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Author Sørensen, Morten Heine.

Title Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Pawel Urzyczyn.

Imprint Amsterdam ; Boston [MA] : Elsevier, 2006.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Edition 1st ed.
Description xiv, 442 p. : ill.
Series Studies in logic and the foundations of mathematics, 0049-237X ; v. 149
Studies in logic and the foundations of mathematics ; v. 149.
Bibliography Includes bibliographical references (p. 403-430) and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Curry-Howard isomorphism.
Lambda calculus.
Proof theory.
Genre/Form Electronic books.
Added Author Urzyczyn, Pawel.
ProQuest (Firm)
ISBN 0444520775

Available items only