Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
entries
temporal type theory
Temporal Type Theory
References
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Patrick Schultz, David I. Spivak. 2017.
