The Curry-Howard isomorphism View on Open Library

The Curry-Howard isomorphism

by Philippe De Groote

No reviews yet
First published: 1995 1 language ISBN: 287209363X
Subjects
Lambda calculus Type theory Proof theory Curry-Howard isomorphism

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Philippe De Groote

Formal grammar

Formal grammar

Formal Grammar Lecture Notes in Computer Science Theoretical Computer Sci

Formal Grammar ...

You Might Also Like

More in Lambda calculus
Fitting statistical distributions

Fitting statistical distributions

Zaven A Karian
Language & grammar

Language & grammar

C. Casadio
The lambda calculus

The lambda calculus

H. P. Barendregt
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn
Abstract computing machines

Abstract computing machines

Werner Kluge
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Masahito Hasegawa