E-LIB Suche - Ergebnisse für: Sojakova, Kristina

1

A Core Calculus for Equational Proofs of Cryptographic Prot..:

Gancher, Joshua ; Sojakova, Kristina ; Fan, Xiong..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 866-892 , 2023

Link: https://doi.org/10.1145/..

2

Syllepsis in Homotopy Type Theory:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Sojakova, Kristina ; Kavvos, G. A. - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

3

Sequential Colimits in Homotopy Type Theory:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Sojakova, Kristina ; Doorn, Floris van ; Rijke, Egbert - p. 845-858 , 2020

Link: https://dl.acm.org/doi/1..

4

A General Framework for Relational Parametricity:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Sojakova, Kristina ; Johann, Patricia - p. 869-878 , 2018

Link: https://dl.acm.org/doi/1..

5

Homotopy-Initial Algebras in Type Theory:

Awodey, Steve ; Gambino, Nicola ; Sojakova, Kristina
Journal of the ACM. 63 (2017) 6 - p. 1-45 , 2017

Link: https://doi.org/10.1145/..

6

Homotopy-Initial Algebras in Type Theory:

Awodey, Steve ; Gambino, Nicola ; Sojakova, Kristina
Journal of the ACM (JACM). 63 (2017) 6 - p. 1-45 , 2017

Link: https://dl.acm.org/doi/1..

7

The Equivalence of the Torus and the Product of Two Circles..:

Sojakova, Kristina
ACM Transactions on Computational Logic. 17 (2016) 4 - p. 1-19 , 2016

Link: https://doi.org/10.1145/..

8

The Equivalence of the Torus and the Product of Two Circles..:

Sojakova, Kristina
ACM Transactions on Computational Logic (TOCL). 17 (2016) 4 - p. 1-19 , 2016

Link: https://dl.acm.org/doi/1..

9

Higher Inductive Types as Homotopy-Initial Algebras:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Sojakova, Kristina - p. 31-42 , 2015

Link: https://dl.acm.org/doi/1..

10

Higher Inductive Types as Homotopy-Initial Algebras:

Sojakova, Kristina
ACM SIGPLAN Notices. 50 (2015) 1 - p. 31-42 , 2015

Link: https://doi.org/10.1145/..

11

Logical relations for a logical framework:

Rabe, Florian ; Sojakova, Kristina
ACM Transactions on Computational Logic (TOCL). 14 (2013) 4 - p. 1-34 , 2013

Link: https://dl.acm.org/doi/1..

12

Logical relations for a logical framework:

Rabe, Florian ; Sojakova, Kristina
ACM Transactions on Computational Logic. 14 (2013) 4 - p. 1-34 , 2013

Link: https://doi.org/10.1145/..

13

Inductive Types in Homotopy Type Theory:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,

Awodey, Steve ; Gambino, Nicola ; Sojakova, Kristina - p. 95-104 , 2012

Link: https://dl.acm.org/doi/1..

14

A case study on formalizing algebra in a module system:

, In: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants,

Dumbrava, Stefania ; Horozal, Fulya ; Sojakova, Kristina - p. 11-18 , 2009

Link: https://dl.acm.org/doi/1..

15

A Core Calculus for Equational Proofs of Cryptographic Prot..:

Gancher, Joshua ; Sojakova, Kristina ; Fan, Xiong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3571223. , 2023

Link: https://inria.hal.scienc..