ask others

Kristina Sojakova

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lics/SojakovaJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/SojakovaJ18
Kristina Sojakova, Patricia Johann:
A General Framework for Relational Parametricity. LICS 2018: 869-878
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1805-00067
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00067
Kristina Sojakova, Patricia Johann:
A General Framework for Relational Parametricity. CoRR abs/1805.00067 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/JohannS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/JohannS17
Patricia Johann, Kristina Sojakova:
Cubical Categories for Higher-Dimensional Parametricity. CoRR abs/1701.06244 (2017)
2016
[j2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tocl/Sojakova16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tocl/Sojakova16
Kristina Sojakova:
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. ACM Trans. Comput. Log. 17(4): 29:1-29:19 (2016)
2015
[c4]
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - conf/popl/Sojakova15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Sojakova15
Kristina Sojakova:
Higher Inductive Types as Homotopy-Initial Algebras. POPL 2015: 31-42
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Sojakova15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Sojakova15
Kristina Sojakova:
The equivalence of the torus and the product of two circles in homotopy type theory. CoRR abs/1510.03918 (2015)
2014
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Sojakova14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Sojakova14
Kristina Sojakova:
Higher Inductive Types as Homotopy-Initial Algebras. CoRR abs/1402.0761 (2014)
2013
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tocl/RabeS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tocl/RabeS13
Florian Rabe, Kristina Sojakova:
Logical relations for a logical framework. ACM Trans. Comput. Log. 14(4): 32:1-32:34 (2013)
2012
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
  authority control:
- export record
  dblp key:
  - conf/lics/AwodeyGS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AwodeyGS12
Steven Awodey, Nicola Gambino, Kristina Sojakova:
Inductive Types in Homotopy Type Theory. LICS 2012: 95-104
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1201-3898
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1201-3898
Steven Awodey, Nicola Gambino, Kristina Sojakova:
Inductive types in homotopy type theory. CoRR abs/1201.3898 (2012)
2010
[c2]
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHKMRS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/CodescuHKMRS10
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/SojakovaR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/SojakovaR08
Kristina Sojakova, Florian Rabe:
Translating a Dependently-Typed Logic to First-Order Logic. WADT 2008: 326-341

Coauthor Index

see FAQ