Kevin Quirin

According to our database¹, Kevin Quirin authored at least 2 papers in 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Lawvere-Tierney sheafification in Homotopy Type Theory. (Faisceautisation de Lawvere-Tierney en théorie des types homotopiques).

[BibT_eX]

[DOI]

PhD thesis, 2016

Lawvere-Tierney sheafification in Homotopy Type Theory.

[BibT_eX]

[DOI]

J. Formaliz. Reason., 2016