Accéder directement au contenu
NT

Nicolas Tabareau

1
Documents

Présentation

Publications

tomhirschowitz

Wild omega-Categories for the Homotopy Hypothesis in Type Theory

André Hirschowitz , Tom Hirschowitz , Nicolas Tabareau
Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
Communication dans un congrès hal-01178301v1