Author

E. G. Plante

h-index 0 View on Semantic Scholar

We have 1 of 1 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Proof Repair and (Co)algebra Equivalences

This work gives the first foundational treatment of proof repair, focusing in particular on type-theoretic proof repair in response to changes in datatypes, and formalizes and proves that the core component of this proof repair algorithm—a “configuration”—is exactly an algebra isomorphism.

E. G. Plante, Eric Paul, G. A. Kavvos · 0 citations