Ordinals and Typed Lambda Calculus (2018-2)

This page will be continuously updated during the course!


Course Information

Lecturer

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>
Office hours

Lectures

18:00–19:00

Lecture Date Classroom
1st July 26 38-405
2nd August 2 38-501
3er August 9 38-405
4th August 16 38-501
5th August 24 38-405
6th August 30 38-501
7th September 6 38-405
8th September 13 38-405
9th October 11 38-405
10th October 25 38-501
11th November 1 38-405
12th November 15 38-405

Lectures Slides

Subject Slides
Course Introduction pdf ]
Set Theory Preliminaries pdf ]
Ordinal Numbers pdf ]
Countable and Uncountable Ordinals pdf ]
Lambda Calculus pdf ]
Numeral Systems in the Lambda Calculus pdf ]
Definable Ordinals in the Lambda Calculus pdf ]
Ordinal Notations pdf ]
Typed Lambda Calculus pdf ]
Definable Ordinals in the Simply Typed Lambda Calculus pdf ]
Defining Ordinals in Martin-Löf Type Theory pdf ]

Other