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
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
December 19, 2023 | History
Edit
An edition of Proofs and types (1989)

Proofs and types

by

  • 1 Want to read

This work 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

Previews available in: English

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

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
Internet Archive
proofstypescambr00gira
ISBN 10
0521371813
ISBN 13
9780521371810
OCLC/WorldCat
20170936
Library Thing
1297162
Goodreads
3400118

Work Identifiers

Work ID
OL16965641W

Source records

Internet Archive item record
OpenLibraries-Trent-MARCs record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Better World Books record
amazon.com record
ISBNdb
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 19, 2023 Edited by ImportBot import existing book
August 18, 2020 Edited by ImportBot import existing book
November 15, 2018 Edited by MARC Bot import existing book
July 29, 2014 Created by ImportBot import new book