A type theory for cellular spaces
, Mini-workshop on the construction of ∞-categories, Paris, France
A second presentation about CellTT, a directed homotopy type theory aimed to model weak (∞, ω)-categories. The talk was given at the occasion of a small workshop at IRIF, in Paris. This work is part of my thesis, under the supervision of Samuel Mimram.