home
chat
references
tools
settings
help
processing...
home
items
temporal type theory
Temporal Type Theory
References
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Patrick Schultz, David I. Spivak. 2017.