Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Patrick Schultz, David I. Spivak, 978-3-030-00703-4, 978-3-030-00704-1