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 Space Remote Sensing of Subtropical Oceans (SRSSO) by
bigCover of the book Quantum Mechanics by
bigCover of the book Chemical Process Safety by
bigCover of the book High Temperature Oxidation and Corrosion of Metals by
bigCover of the book Novel Methods to Study Interfacial Layers by
bigCover of the book Biothermodynamics Part A by
bigCover of the book Computational Wind Engineering 1 by
bigCover of the book CISSP Study Guide by
bigCover of the book Aluminum-Lithium Alloys by
bigCover of the book Physical Structure by
bigCover of the book Decision Making in Water Resources Policy and Management by
bigCover of the book Digital Twin Driven Smart Manufacturing by
bigCover of the book Tracing Pathogens in the Food Chain by
bigCover of the book Business Continuity State of the Industry Report by
bigCover of the book Data Treatment in Environmental Sciences 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