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 Multifunctionality of Polymer Composites by
bigCover of the book Cheetahs: Biology and Conservation by
bigCover of the book Reaction Engineering by
bigCover of the book Cellular Migration and Formation of Neuronal Connections by
bigCover of the book Advances in Applied Microbiology by
bigCover of the book Interpretation of the Ultraviolet Spectra of Natural Products by
bigCover of the book Ultrasound: Advances in Food Processing and Preservation by
bigCover of the book History of Toxicology and Environmental Health by
bigCover of the book Vitamins and Hormones by
bigCover of the book Gene therapy by
bigCover of the book Advances in Food Security and Sustainability by
bigCover of the book Fuzzy Neural Networks for Real Time Control Applications by
bigCover of the book Structure and Function of Sarcoplasmic Reticulum by
bigCover of the book Sleep and Affect by
bigCover of the book Security and Loss Prevention 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