Modeling conditional branching - 'if' with Lambda Calculus 00:00:50
Is 'if' eager or lazy? 00:04:03
Modeling logical operators with Lambda Calculus 00:09:59
Modeling arithmetic with Lambda Calculus - The Church Numerals 00:19:14
Addition - Multiplication - Exponentiation on Church Numerals 00:29:30
Finding predecessor of a Church Numeral 00:35:05

The aim of this course is to provide an analytic study of programming languages. The course develops this study by looking primarily at interpreters of programming languages. This course examines the fundamental differences between different programming paradigms, through a study of how to build interpreters for the different models. On completion of the course, the student should have gained an understanding of the role of interpreters in defining the syntax and semantics of various programming paradigms.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…