- 1
NT
Nicolas Tabareau
1
Documents
Présentation
Publications
- 1
- 1
Wild omega-Categories for the Homotopy Hypothesis in Type TheoryTyped Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
Communication dans un congrès
hal-01178301v1
|