Travelled to:1 × Croatia
1 × India
Collaborated with:∅ S.Awodey N.Gambino
Talks about:type (3) homotopi (2) induct (2) algebra (1) theori (1) higher (1) initi (1)
Person: Kristina Sojakova
DBLP: Sojakova:Kristina
Contributed to:
2015
2012Wrote 2 papers:
- POPL-2015-Sojakova #algebra #induction
- Higher Inductive Types as Homotopy-Initial Algebras (KS), pp. 31–42.
- LICS-2012-AwodeyGS #induction #type system
- Inductive Types in Homotopy Type Theory (SA, NG, KS), pp. 95–104.