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 Semi-Markov Models by
bigCover of the book Securing VoIP by
bigCover of the book Compendium of Trace Metals and Marine Biota by
bigCover of the book Entrepreneurship in the Gulf Cooperation Council by
bigCover of the book Biosynthesis of Vitamins in Plants Part B by
bigCover of the book Free Electron Lasers 2003 by
bigCover of the book Advances in Heat Transfer by
bigCover of the book The Competitiveness of Tropical Agriculture by
bigCover of the book Reliability Prediction from Burn-In Data Fit to Reliability Models by
bigCover of the book Advances in Computers by
bigCover of the book The Tribology Handbook by
bigCover of the book Sorghum Biochemistry by
bigCover of the book Polyurethane Polymers: Composites and Nanocomposites by
bigCover of the book Navelbine® and Taxotère® by
bigCover of the book SAP Security Configuration and Deployment 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