An edition of Proofs and types (1989)

Proofs and types

by

  • 1 Want to read
Cover of: Proofs and types by Jean-Yves Girard, Jean-Yves Girard, Yves Lafont, Paul Taylor
Locate

My Reading Lists:

Create a new list
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Proofs and types (1989)

Proofs and types

by

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
192

Check nearby libraries

Buy this book

Subjects

Computer programming Symbolic and mathematical Logic Type theory Proof theory Calculus Lambda calculus
Edition Availability
Cover of: Proofs and types
Proofs and types
April 28, 1989, Cambridge University Press
Hardcover in English

Add another edition?

Book Details

Edition Notes

Series
Cambridge Tracts in Theoretical Computer Science

Classifications

Library of Congress
QA9.5 .G57 1989, QA76.6

The Physical Object

Format
Hardcover
Number of pages
192
Dimensions
10 x 7.1 x 0.6 inches
Weight
1.1 pounds

Edition Identifiers

Open Library
OL7738480M
ISBN 10
0521371813
ISBN 13
9780521371810
LCCN
gb89006177
OCLC/WorldCat
20170936
LibraryThing
1297162
Goodreads
3400118

Work Identifiers

Work ID
OL16965641W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation