Lecture 2: Axioms and Inference Rules.

In this lecture we discuss a common language to express common properties about programming languages in general, and functional programming languages in particular.

This formal language is mathematics --- naturally, because it must support concise and effective formalisms to express the related structures. In particular, we will take frequently advantage of judgments and inference rules to express properties such as a program P evaluates to a value V, or a program P has type T.

Suggested Reading Materials:

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: Lecture 1
Next lecture: Lecture 3