Lecture 1: The Programming Language Mini-ML

We discuss the programming lanuage Mini-ML, which is a functional programming language which contains anonymous functions, fixed points, natural numbers and definitions. We discuss the concepts of variables, substitution, and alpha-conversion.

Suggested Reading Materials:

Frank Pfenning. Computation and Deduction, Chapter 1 - Chapter 2.3.

Per Martin-Löf. On the Meanings of the Logical Constants and the Justifications of the Logical Laws, Nordic Journal of Philosophical Logic, Vol. 1, No. 1, pp. 11-60.

Previous lecture: No previous lecture
Next lecture: Lecture 2