Paul Meng's Reviews > Proofs and Types

Proofs and Types by Jean-Yves Girard
Rate this book
Clear rating
Sign into Goodreads to see if any of your friends have read Proofs and Types.
sign in »

No comments have been added yet.