

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


Le principe d'univalence: le transfer du raisonnement à traver les equivalence
By Benedikt Ahrens


Mathematical foundations of automatic differentiation - a tutorial
By Matthijs Vákár