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 Observation Oriented Modeling by

bigCover of the book Keys to the Kingdom by

bigCover of the book Fighting Multidrug Resistance with Herbal Extracts, Essential Oils and Their Components by

bigCover of the book Molecular Approach to Solids by

bigCover of the book Digital Control Engineering by

bigCover of the book Platelets by

bigCover of the book Land and Marine Hydrogeology by

bigCover of the book Materials Characterization Using Nondestructive Evaluation (NDE) Methods by

bigCover of the book Psychotropic Drugs, Prevention and Harm Reduction by

bigCover of the book Introduction to Cyber-Warfare by

bigCover of the book Building Wireless Sensor Networks by

bigCover of the book Human Herpesviruses HHV-6A, HHV-6B and HHV-7 by

bigCover of the book Essential Neuromodulation by

bigCover of the book Databook of Adhesion Promoters by

bigCover of the book SQL Injection Attacks and Defense 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