17 citations · 45 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 8 cited
Functorial Semantics for Partial Theories
Ivan Di Liberti, Fosco Loregian, Chad Nester +1
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case,…
math.CT2020
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…