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 Coastal and Marine Hazards, Risks, and Disasters by
bigCover of the book Co-Semigroups and Applications by
bigCover of the book Advances in Imaging and Electron Physics by
bigCover of the book Reactive Polymers: Fundamentals and Applications by
bigCover of the book Recent Advances in Medicinal Chemistry, Volume 1 by
bigCover of the book Ionizing Radiation and Polymers by
bigCover of the book Urban Disasters and Resilience in Asia by
bigCover of the book Securing Safe Water Supplies by
bigCover of the book Financial Trading and Investing by
bigCover of the book Natural Gas Conversion V by
bigCover of the book Functional Neurologic Disorders by
bigCover of the book Compendium of Trace Metals and Marine Biota by
bigCover of the book Structure and Tectonics of the Indian Continental Crust and Its Adjoining Region by
bigCover of the book Techniques in Discrete-Time Stochastic Control Systems by
bigCover of the book Advances in Virus Research 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