8 citations · 17 across the 7 of their papers we have counts for
Showing 2020Show all
3 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,…
cs.LO2020★ 5 cited
A Foundation for Ledger Structures
Chad Nester
This paper introduces an approach to constructing ledger structures for cryptocurrency systems with basic category theory. Compositional theories of resource convertibility allow u…
cs.LO2020★ 1 cited
Concurrent Process Histories and Resource Transducers
Chad Nester
We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to…