Lectures on the Curry-Howard isomorphism View on Open Library

Lectures on the Curry-Howard isomorphism

by Morten Heine Sørensen

No reviews yet
First published: 2006 1 language ISBN: 9780080478920
Subjects
Curry-Howard isomorphism Lambda calculus Proof theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Curry-Howard isomorp...
The Curry-Howard isomorphism

The Curry-Howard isomorphism

Philippe De Groote
Derivation and computation

Derivation and computation

Harold Simmons
Adapting proofs-as-programs

Adapting proofs-as-programs

Iman Hafiz Poernomo