home
items
temporal type theory
Temporal Type Theory
Contents
References
References
Patrick Schultz, David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. 2017.