| Inductive types in homotopy type theory S Awodey, N Gambino, K Sojakova 2012 27th Annual IEEE Symposium on Logic in Computer Science, 95-104, 2012 | 70 | 2012 |
| Higher inductive types as homotopy-initial algebras K Sojakova Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 66 | 2015 |
| Towards logical frameworks in the heterogeneous tool set hets M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe, K Sojakova International Workshop on Algebraic Development Techniques, 139-159, 2010 | 43 | 2010 |
| Homotopy-initial algebras in type theory S Awodey, N Gambino, K Sojakova Journal of the ACM (JACM) 63 (6), 1-45, 2017 | 21 | 2017 |
| The equivalence of the torus and the product of two circles in homotopy type theory K Sojakova ACM Transactions on Computational Logic (TOCL) 17 (4), 1-19, 2016 | 18 | 2016 |
| Logical relations for a logical framework F Rabe, K Sojakova ACM Transactions on Computational Logic (TOCL) 14 (4), 1-34, 2013 | 16 | 2013 |
| Homotopy type theory: univalent foundations of mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ... The Univalent Foundations Program Institute for Advanced Study, 2013 | 15 | 2013 |
| A general framework for relational parametricity K Sojakova, P Johann Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 14 | 2018 |
| Sequential colimits in homotopy type theory K Sojakova, F Doorn, E Rijke Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 11 | 2020 |
| A case study on formalizing algebra in a module system S Dumbrava, F Horozal, K Sojakova Proceedings of the 1st Workshop on Modules and Libraries for Proof …, 2009 | 6 | 2009 |
| Translating a dependently-typed logic to first-order logic K Sojakova, F Rabe International Workshop on Algebraic Development Techniques, 326-341, 2008 | 4 | 2008 |
Nicola GambinoDepartment of Mathematics, University of ManchesterVerified email at manchester.ac.uk
