80 citations · 114 across the 20 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Five Basic Concepts of Axiomatic Rewriting Theory
Paul-André Melliès
In this invited talk, I will review five basic concepts of Axiomatic Rewriting Theory, an axiomatic and diagrammatic theory of rewriting started 25 years ago in a LICS paper with G…
cs.LO2016★ 2 cited
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Paul-André Melliès, Noam Zeilberger
Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and f…