An edition of The Curry-Howard isomorphism (1995)

The Curry-Howard isomorphism

by

The Curry-Howard isomorphism
Philippe De Groote
Not in Library

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
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 2, 2020 | History
Edit
An edition of The Curry-Howard isomorphism (1995)

The Curry-Howard isomorphism

by

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

Publisher
Academia
Language
English

Check nearby libraries

Buy this book

Subjects

Lambda calculus, Type theory, Proof theory, Curry-Howard isomorphism

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: The Curry-Howard isomorphism
The Curry-Howard isomorphism
1995, Academia
in English
Libraries near you: WorldCat
Cover of: The Curry-Howard isomorphism
The Curry-Howard isomorphism
Publish date unknown, Academia
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

At foot of title: Université catholique de Louvain, Département de Philosophie.

Published in
Louvain-la-neuve
Series
Cahiers du Centre de logique -- 8

Classifications

Library of Congress
QA9.54 .C87 1995

ID Numbers

Open Library
OL21809571M
ISBN 10
287209363X
LCCN
99176546

Source records

Talis record
Scriblio MARC record
Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 2, 2020 Edited by MARC Bot import existing book
March 12, 2019 Edited by MARC Bot import existing book
February 18, 2019 Edited by MARC Bot import existing book
November 4, 2008 Created by ImportBot Imported from Talis record