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 Machinery Failure Analysis and Troubleshooting by
bigCover of the book Building the Most Complex Structure on Earth by
bigCover of the book Slow Brain Oscillations of Sleep, Resting State and Vigilance by
bigCover of the book Mathematical Inequalities by
bigCover of the book Orthodontic Applications of Biomaterials by
bigCover of the book Handbook of Income Distribution by
bigCover of the book Cardiovascular Diseases by
bigCover of the book Integrated Nanophotonic Devices by
bigCover of the book Handbook of Mammalian Vocalization by
bigCover of the book Soft Chemistry and Food Fermentation by
bigCover of the book Analytical Assessment of e-Cigarettes by
bigCover of the book Graphics Gems III (IBM Version) by
bigCover of the book Ion Channels as Therapeutic Targets, Part B by
bigCover of the book Renewable Energy Powered Desalination Handbook by
bigCover of the book Personality Development Across the Lifespan 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