Normal view MARC view ISBD view

Derivation and computation : taking the Curry-Howard correspondence seriously /

Simmons, Harold,

Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons, University of Manchester. - xxv, 384 pages ; 24 cm

Includes bibliographical references and index.

ISBN: 0521771730 9780521771733

Subjects--Topical Terms:
Proof theory.
Lambda calculus.
Type theory.
Curry-Howard isomorphism.

Index Terms--Genre/Form: --Reading book

Dewey Class. No.: 511.3 / SIM

Print
Add to your cart (remove)
Send to device
Save record
Dublin Core MARCXML RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Southern NH Libraries Other Databases (Google Scholar) Online Stores (Bookfinder.com)