Recent posts

Linear Logic

Domains, Categories, Games

Topological Data Analysis/Persistent Homology

Concurrency/Directed Algebraic Topology

Biochemical Programming

Homological Algebra

Théorie des Modèles

Espace des 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



Blog posts

Read

Lecture notes/Tutorials

Read

Exercises

Read