, École des Mines de Nantes, France

• Journal of Formalized Reasoning Vol. 9 No. 2 (2016) - Articles
  Lawvere-Tierney sheafification in Homotopy Type Theory
  Abstract  PDF