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 Sustainability in Higher Education by
bigCover of the book Relativistic Electronic Structure Theory by
bigCover of the book Computability Theory by
bigCover of the book Fetal and Neonatal Disorders by
bigCover of the book Pressure Vessel Design Manual by
bigCover of the book Methods in Psychobiology by
bigCover of the book Dynamic Well Testing in Petroleum Exploration and Development by
bigCover of the book Advances in Applied Microbiology by
bigCover of the book Advances in Imaging and Electron Physics by
bigCover of the book Processes and Ore Deposits of Ultramafic-Mafic Magmas through Space and Time by
bigCover of the book Phytosfere'99 - Highlights in European Plant Biotechnology Research and Technology Transfer by
bigCover of the book Enhancing Learning and Teaching Through Student Feedback in Medical and Health Sciences by
bigCover of the book Uranium and Nuclear Energy: 1982 by
bigCover of the book Psychology of Learning and Motivation by
bigCover of the book Nanoneuroscience and Nanoneuropharmacology 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