Lecture Notes on the Lambda Calculus
- ISBN-10
- 0359158854
- ISBN-13
- 9780359158850
- Category
- Science
- Pages
- 108
- Language
- English
- Published
- 2018-10-04
- Author
- Peter Selinger
Description
This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, polymorphism, type inference, denotational semantics, complete partial orders, and the language PCF.
Get the book
Similar books
-
Chemistry: An Introduction to General, Organic and Biological Chemistry
By Karen C. TimberlakeThis new edition introduces more problem-solving strategies and new conceptual and challenge problems. Also, each Chapter Review has been enhanced with Learning Goals to reinforce the mastery of concepts for students.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen TimberlakeThis laboratory manual contains 42 experiments for the standard sequence of topics in general, organic, and biological chemistry.
-
Basic Chemistry
By Karen C. TimberlakeThe book guides students through basic chemistry problem solving with engaging visuals and a focus on developing the math skills necessary to be successful in the course.
-
General, Organic, and Biological Chemistry: Structures of Life, eBook, Global Edition
By Karen C. TimberlakeThe full text downloaded to your computer With eBooks you can: search for key concepts, words and phrases make highlights and notes as you study share your notes with friends eBooks are downloaded to your computer and accessible either ...
-
Basic Chemistry
By Karen C. Timberlake, William E. TimberlakeBasic Chemistry
-
Basic Chemistry, Books a la Carte Edition
By Karen C. TimberlakeBasic Chemistry, Books a la Carte Edition
-
Essential Laboratory Manual for General, Organic and Biological Chemistry
By Karen C. TimberlakeEssential Laboratory Manual for General, Organic and Biological Chemistry
-
Basic Chemistry, Global Edition
By Karen C. Timberlake, Bill TimberlakeThe main objective in writing this text is to make the study of chemistry an engaging and a positive experience for students by relating the structure and behaviour of matter to real life.
-
General, Organic, and Biological Chemistry: An Integrated Approach
By Karen C. Timberlake, Laura D. Frost, Todd S. DealThe eText pages look exactly like the printed text, and include powerful interactive and customization functions. This is the product access code card for MasteringChemistry with Pearson eText and does not include the actual bound book.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen C. TimberlakeHealth, Environmental, and Green Chemistry Notes throughout the text relate chemistry chapters to real-life topics in health, the environment, and medicine that are interesting and motivating to students.