Recent posts

Linear Logic

Domains, Categories, Games

Homological Algebra

Théorie des Modèles

Types

Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...

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