Logo

Lecture Notes on the Lambda Calculus

Small book cover: Lecture Notes on the Lambda Calculus

Lecture Notes on the Lambda Calculus
by

Publisher: Dalhousie University
Number of pages: 106

Description:
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, type inference, denotational semantics, complete partial orders, and the language PCF.

Home page url

Download or read it online for free here:
Download link
(460KB, PDF)

Similar books

Book cover: Practical Foundations for Programming LanguagesPractical Foundations for Programming Languages
by
This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.
(10854 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(3068 views)
Book cover: Lectures on the Curry-Howard IsomorphismLectures on the Curry-Howard Isomorphism
by - Elsevier Science
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
(5860 views)
Book cover: Formal Language Theory for Natural Language ProcessingFormal Language Theory for Natural Language Processing
by - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(5482 views)