Lectures on the Curry-Howard Isomorphism

Nonfiction, Science & Nature, Mathematics, Logic
Big bigCover of Lectures on the Curry-Howard Isomorphism

More books from Elsevier Science

bigCover of the book Cannabinoids and Their Receptors by
bigCover of the book Milk Proteins by
bigCover of the book Composition and Properties of Drilling and Completion Fluids by
bigCover of the book Interdisciplinary Mentoring in Science by
bigCover of the book New Trends in Coal Conversion by
bigCover of the book Handbook of Antistatics by
bigCover of the book Space and Energy by
bigCover of the book Scratching of Materials and Applications by
bigCover of the book Advances in Computers by
bigCover of the book Calorimetry by
bigCover of the book Fluorescent and Luminescent Probes for Biological Activity by
bigCover of the book Computer-Assisted and Web-Based Innovations in Psychology, Special Education, and Health by
bigCover of the book Chemical Thermodynamics of Selenium by
bigCover of the book Software and System Development using Virtual Platforms by
bigCover of the book Femtochemistry VII 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