Enlarge

Derivation and computation : taking the Curry-Howard correspondence seriously

Harold Simmons

Publication Data

Title Derivation and computation : taking the Curry-Howard correspondence seriously
Author Harold Simmons
Publisher Cambridge University Press
Publication date 2000
Publication location Cambridge
Language English

Topics

Proof theory
Lambda calculus
Type theory

Catalogue Data

OBNB ID GBA044071
ISBN 10 0521771730
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xxv, 384 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Derivation and computation : taking the Curry-Howard correspondence seriously by Harold Simmons. ISBN 0521771730. Published by Cambridge University Press in 2000. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.