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
July 31, 2019 | 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?

Publish Date
Publisher
Academia
Language
English
Pages
364

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
  • Not in Library
Libraries near you: WorldCat
Cover of: The Curry-Howard isomorphism
The Curry-Howard isomorphism
Publish date unknown, Academia
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

Basic theory of functionality. Analogies with propositional algebra / H.B. Curry and R. Feys
The formulæ-as-types notion of construction / W.A. Howard
On the roles of types in mathematics / N.G. de Bruijn
On the correspondence between proofs and lamba-terms / J. Gallier
Linear logic : a survey / J.-Y. Girard
Realizability, set theory and term extraction / J. Lipton.

Edition Notes

Includes bibliographical references.
"Université catholique de Louvain, Département de philosophie."

Published in
Louvain-la-Neuve
Series
Cahiers du Centre de logique ;, 8

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54 .C87 1995

The Physical Object

Pagination
364 p. ;
Number of pages
364

ID Numbers

Open Library
OL74779M
ISBN 10
287209363X
LCCN
99176546
OCLC/WorldCat
32900083

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
July 31, 2019 Edited by MARC Bot associate edition with work OL18951236W
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record