Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)
Channel: Theo Reto
Date: 2021-11-18

CONTENT

This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics of (un-)typed λ-calculus including higher-order parametric polymorphism and dependent types. The resources, from which this video series extracts the offered material, are listed in the description of the playlist.

This video (1.3.1): 
With a basic understanding of how the lambda calculus works, we now take a look at how it can be used to compute more interesting things. We present Church numerals as a way to represent numbers in the lambda calculus and how to perform arithmetic operations on them, before looking at how we can represent booleans and basic control flow.

AUTHORS / OWNERS

The slides and script of the videos were made by Michelle Döring, Felix Moebius and Falk Schimweg. The video was narrated and edited by Douglas Rouse. (Under supervision of Prof. Uwe Nestmann at the Technical University of Berlin.)

© 2021 (CC-BY-NC-ND)
Michelle Döring
Felix Moebius
Falk Schimweg
Douglas Rouse