8 citations · 8 across the 1 of their papers we have counts for
2 papers
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
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…