Lectures on the Curry-Howard Isomorphism

Nonfiction, Science & Nature, Mathematics, Logic

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Lectures on the Curry-Howard Isomorphism

More books from Elsevier Science

bigCover of the book Non-Destructive Testing in Civil Engineering 2000 by

bigCover of the book Acoustic Wave Sensors by

bigCover of the book Advances in Computers by

bigCover of the book Statistics for Physical Sciences by

bigCover of the book Advances in Agronomy by

bigCover of the book Membrane Technology by

bigCover of the book The Sea Cucumber Apostichopus japonicus by

bigCover of the book Diamond Films by

bigCover of the book Constitutive Activity in Receptors and Other Proteins, Part A by

bigCover of the book Advances in Virus Research by

bigCover of the book Nonlinear Theory of Elastic Plates by

bigCover of the book Zeta and q-Zeta Functions and Associated Series and Integrals by

bigCover of the book Data Governance by

bigCover of the book PEM Fuel Cells by

bigCover of the book Major Accidents to the Environment by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy