Patricia Johann

Identifiers

• name variant Patricia Johann 0.60 · backfill

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

• 1511.07865 #2 · backfill · confidence 0.70 Patricia Johann

Frequent Coauthors

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