Patricia Johann

Identifiers

No identifiers captured yet.

Papers (4)

1. On local presentability of T/A math.CT · 2018 · author #1
2. A General Framework for Relational Parametricity cs.LO · 2018 · author #2
3. Cubical Categories for Higher-Dimensional Parametricity cs.LO · 2017 · author #1
4. Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic cs.LO · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Kristina Sojakova 2 shared papers
• Andrew Polonsky 1 shared papers
• Ekaterina Komendantskaya 1 shared papers
• Martin Schmidt 1 shared papers