Proofs and types
Proofs and types
Jean-Yves Girard
Details
OL Work ID
OL16965641W
Subjects
Computer programming
Symbolic and mathematical Logic
Type theory
Proof theory
Calculus
Lambda calculus
Find this book
Hardcover
Open Library