×
Author ID: sojakova.kristina Recent zbMATH articles by "Sojakova, Kristina"
Published as: Sojakova, Kristina
External Links: MGP · ResearchGate · dblp

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 38 times in 31 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
129
2013
Higher inductive types as homotopy-initial algebras. Zbl 1345.03017
Sojakova, Kristina
11
2015
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
8
2012
Inductive types in homotopy type theory. Zbl 1364.03014
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
8
2012
Homotopy-initial algebras in type theory. Zbl 1426.03016
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
4
2017
Logical relations for a logical framework. Zbl 1353.68252
Rabe, Florian; Sojakova, Kristina
3
2013
Sequential colimits in homotopy type theory. Zbl 1498.03035
Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert
2
2020
A general framework for relational parametricity. Zbl 1497.68126
Sojakova, Kristina; Johann, Patricia
1
2018
The equivalence of the torus and the product of two circles in homotopy type theory. Zbl 1367.03018
Sojakova, Kristina
1
2016
Sequential colimits in homotopy type theory. Zbl 1498.03035
Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert
2
2020
A general framework for relational parametricity. Zbl 1497.68126
Sojakova, Kristina; Johann, Patricia
1
2018
Homotopy-initial algebras in type theory. Zbl 1426.03016
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
4
2017
The equivalence of the torus and the product of two circles in homotopy type theory. Zbl 1367.03018
Sojakova, Kristina
1
2016
Higher inductive types as homotopy-initial algebras. Zbl 1345.03017
Sojakova, Kristina
11
2015
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
129
2013
Logical relations for a logical framework. Zbl 1353.68252
Rabe, Florian; Sojakova, Kristina
3
2013
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
8
2012
Inductive types in homotopy type theory. Zbl 1364.03014
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
8
2012

Citations by Year