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 Corn by
bigCover of the book Structural and Stress Analysis by
bigCover of the book Investigating Seafloors and Oceans by
bigCover of the book Environmental Physiology of Plants by
bigCover of the book Handbook of Liquefied Natural Gas by
bigCover of the book Integral Mechanical Attachment by
bigCover of the book Red Cell Development by
bigCover of the book Friction Stir Superplasticity for Unitized Structures by
bigCover of the book Few body dynamics by
bigCover of the book Epidemiology and Medical Statistics by
bigCover of the book Advances in Filament Yarn Spinning of Textiles and Polymers by
bigCover of the book Simple Steps to Data Encryption by
bigCover of the book Scientific Data Ranking Methods by
bigCover of the book Advances in Atomic, Molecular, and Optical Physics by
bigCover of the book Mathematical Neuroscience 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