Patricia Johann

activity

20122022

most citedStructural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic

11 citations · 57 across the 11 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

math.CT2018

On local presentability of T/A

Patricia Johann, Andrew Polonsky

We prove that if $A$ is a locally $λ$ -presentable category and $T : A \to A$ is a $λ$ -accessible functor then $T / A$ is locally $λ$ -presentab…

cs.LO2018

A General Framework for Relational Parametricity

Kristina Sojakova, Patricia Johann

Reynolds' original theory of relational parametricity was intended to capture the idea that polymorphically typed System F programs preserve all relations between inputs. But as Re…