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 Fish Physiology: Euryhaline Fishes by
bigCover of the book Cellulose and Cellulose Derivatives by
bigCover of the book Uncertain Input Data Problems and the Worst Scenario Method by
bigCover of the book Shale Oil and Gas Handbook by
bigCover of the book Fatigue Assessment of Welded Joints by Local Approaches by
bigCover of the book Advances in Applied Microbiology by
bigCover of the book Researching Developing Countries by
bigCover of the book Annual Reports on NMR Spectroscopy by
bigCover of the book Evolution by
bigCover of the book Current and Emerging Technologies for the Diagnosis of Microbial Infections by
bigCover of the book Adapting to Climate Change in Europe by
bigCover of the book Comprehensive Nanoscience and Technology by
bigCover of the book Side Effects of Drugs Annual by
bigCover of the book ABC Proteins by
bigCover of the book Quantum Machine Learning 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