Kristina Sojakova

Available identifiers

zbMath Open sojakova.kristinaMaRDI QIDQ2819786

List of research outcomes

Publication	Date of Publication	Type
Syllepsis in homotopy type theory	2024-12-06	Paper
Sequential Colimits in Homotopy Type Theory	2021-01-21	Paper
A General Framework for Relational Parametricity	2021-01-20	Paper
Homotopy-Initial Algebras in Type Theory	2018-08-02	Paper
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory	2017-07-13	Paper
Inductive Types in Homotopy Type Theory	2017-05-16	Paper
Higher inductive types as homotopy-initial algebras	2016-09-29	Paper
Logical relations for a logical framework	2015-09-17	Paper
Towards Logical Frameworks in the Heterogeneous Tool Set Hets	2012-06-08	Paper
Translating a Dependently-Typed Logic to First-Order Logic	2009-10-22	Paper

Research outcomes over time

This page was built for person: Kristina Sojakova