Recent posts

Linear Logic

Domains, Categories, Games

Foundations of proof systems

Proof assistants

Functional programming and Type Systems

Game theory in Computer Science

Algèbre Homologique



Blog posts

Read

Lecture notes/Tutorials

Read

Exercises

Read