Kristina Sojakova

Identifiers

• name variant Kristina Sojakova 0.60 · backfill

Papers (5)

1. A General Framework for Relational Parametricity cs.LO · 2018 · author #1
2. Cubical Categories for Higher-Dimensional Parametricity cs.LO · 2017 · author #2
3. The equivalence of the torus and the product of two circles in homotopy type theory cs.LO · 2015 · author #1
4. Homotopy-initial algebras in type theory math.LO · 2015 · author #3
5. Higher Inductive Types as Homotopy-Initial Algebras cs.LO · 2014 · author #1

Mentions

• 1504.05531 #3 · backfill · confidence 0.70 Kristina Sojakova
• 1402.0761 #1 · backfill · confidence 0.70 Kristina Sojakova

Frequent Coauthors

• Patricia Johann 2 shared papers
• Nicola Gambino 1 shared papers
• Steve Awodey 1 shared papers