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 Synthetic Instruments: Concepts and Applications by
bigCover of the book Writing for Interaction by
bigCover of the book The Microbiological Quality of Food by
bigCover of the book Science of Gluten-Free Foods and Beverages by
bigCover of the book Bio-Based Plant Oil Polymers and Composites by
bigCover of the book Encapsulations by
bigCover of the book Household Service Robotics by
bigCover of the book The Genetics of Circadian Rhythms by
bigCover of the book Handbook of Solid State Diffusion: Volume 1 by
bigCover of the book Globins and Other Nitric Oxide-Reactive Proteins, Part B by
bigCover of the book A Quick Guide to API 653 Certified Storage Tank Inspector Syllabus by
bigCover of the book Mechatronics '98 by
bigCover of the book Studies in Natural Products Chemistry by
bigCover of the book Semantic Web for the Working Ontologist by
bigCover of the book Smart Cities Cybersecurity and Privacy 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