home
items
temporal type theory
chatqed
references
items
authors
citations
tools
unicode
settings
about
privacy
terms
licences
contact
©2023 Synthetic
Temporal Type Theory
References
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Patrick Schultz, David I. Spivak. 2017.