Lambda Calculus with Types

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing
Big bigCover of Lambda Calculus with Types

More books from Cambridge University Press

bigCover of the book Modeling Count Data by
bigCover of the book Enterprise Liability and the Common Law by
bigCover of the book The Second Part of King Henry IV by
bigCover of the book Roman Girlhood and the Fashioning of Femininity by
bigCover of the book Texts, Editors, and Readers by
bigCover of the book The United States, Italy and the Origins of Cold War by
bigCover of the book Practical Astronomy with your Calculator by
bigCover of the book Graded Rings and Graded Grothendieck Groups by
bigCover of the book Intellectuals and the Search for National Identity in Twentieth-Century Brazil by
bigCover of the book Human Rights under State-Enforced Religious Family Laws in Israel, Egypt and India by
bigCover of the book Immigration Detention by
bigCover of the book Statehood and Self-Determination by
bigCover of the book Reexamining Customary International Law by
bigCover of the book Life in Antarctic Deserts and other Cold Dry Environments by
bigCover of the book Symmetry Breaking in Syntax 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