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 Puzzling Cases of Epilepsy by
bigCover of the book Meat Processing by
bigCover of the book CALPHAD (Calculation of Phase Diagrams): A Comprehensive Guide by
bigCover of the book Sorghum and Millets by
bigCover of the book Fundamental Aliphatic Chemistry by
bigCover of the book Failure Analysis and Fractography of Polymer Composites by
bigCover of the book Compact Heat Exchangers by
bigCover of the book Theory and Applications of Numerical Analysis by
bigCover of the book Electron Paramagnetic Resonance Investigations of Biological Systems by Using Spin Labels, Spin Probes, and Intrinsic Metal Ions Part A by
bigCover of the book The RF in RFID by
bigCover of the book Bioimpedance and Bioelectricity Basics by
bigCover of the book Natural Gas Engineering Handbook by
bigCover of the book Semiconductor Lasers I by
bigCover of the book Solid State Physics by
bigCover of the book Studies in Natural Products Chemistry 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