Proofs and types

Name: Proofs and types
Author: Jean-Yves Girard
ISBN: 9780521371810

0.0

Proofs and types is a computer programming, symbolic and mathematical logic book by Jean-Yves Girard.

Discover Proofs and types by Jean-Yves Girard, computer programming.

About the Author

is the author of Proofs and types. Browse their full catalog on Booklogr.

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

What genre is Proofs and types?+

Proofs and types is a Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus book.

Who wrote Proofs and types?+

Proofs and types was written by Jean-Yves Girard.