172 citations · 796 across the 66 of their papers we have counts for
3 papers · 1 filter
Temporal Landscapes: A Graphical Logic of Behavior
Brendan Fong, Alberto Speranzon, David I. Spivak
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is sim…
Behavioral Mereology (Proofs and Properties)
Brendan Fong, David Jaz Myers, David I. Spivak
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by th…
Type theoretical databases
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of intere…