Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kristina Sojakova
Homotopy-Initial Algebras in Type Theory
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
A General Framework for Relational Parametricity
Related publications
Type Theory and Homotopy
Modal Homotopy Type Theory
Graded Algebras Having a Unique Rational Homotopy Type
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Free Higher Groups in Homotopy Type Theory
The Homotopy Theory of Type Theories
Advances in Mathematics
Mathematics
Homotopy Batalin–Vilkovisky Algebras
Journal of Noncommutative Geometry
Mathematical Physics
Geometry
Topology
Number Theory
Algebra
Derivations of Homotopy Algebras
Archivum Mathematicum
Mathematics
Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory
Synthese
Philosophy
Social Sciences
Hopf Algebras Up to Homotopy
Journal of the American Mathematical Society
Mathematics
Applied Mathematics