Teaching & Supervision

Supervision.

Suggested readings.

Master in Logic at GU.

Teaching Archive.


Master in Logic at GU

Set Theory

Model Theory

Category Theory

Semantics of DTT

Functorial Semantics

Topos Theory


Summer School at Tsinghua

Intro to Categorical Logic