

A gentle introduction to template games and linear logic
By Paul-André Melliès


A gentle introduction to template games and linear logic
By Paul-André Melliès


Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien
By Patrick Massot