Recent posts

Linear Logic

Domains, Categories, Games

Homological Algebra

Théorie des Modèles

Foundations of proof systems

Proof assistants

Functional programming and Type Systems

Game theory in Computer Science



Blog posts

Read

Lecture notes/Tutorials

Read

Exercises

Read