Cesare Gallozzi

Research interests

My research focuses primarily on type theory and constructive set theory (homotopy type theory, type theoretic interpretations of CZF). I also have an interest in linear logic and linear type theory.