Derivation and computation

View on Open Library

Derivation and computation

by Harold Simmons

No reviews yet

First published: 2000 1 language ISBN: 0521771730

Subjects

Curry-Howard isomorphism Lambda calculus Proof theory Type theory Computer science

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Harold Simmons

Introduction to Category Theory

Introduction to Category Theory

Proof Theory

An introduction to category theory

An introduction to category theory

Inorganic Syntheses Volume 1

Inorganic Syntheses Volume 1

You Might Also Like

More in Curry-Howard isomorp...

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Morten Heine Sørensen

The Curry-Howard isomorphism

The Curry-Howard isomorphism

Philippe De Groote

Adapting proofs-as-programs

Adapting proofs-as-programs

Iman Hafiz Poernomo