Scan Barcode

Username:

Password:

Forgot your password?

Yves Lafont

External links

View on OpenLibrary

Books by Yves Lafont

Jean-Yves Girard, Yves Lafont, Paul Taylor: Proofs and Types (Hardcover, Cambridge University Press)

No rating

Proofs and Types

by Jean-Yves Girard, Yves Lafont, Paul Taylor

Successfully posted status

Error posting status

About book.itmens

Contact site admin

Code of Conduct

BookWyrm's source code is freely available. You can contribute or report issues on GitHub.

Discussions in lounge.itmens or /d/ - chan.itmens
Contact the admin via /o/ - chan.itmens