Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior - Schultz, Patrick; Schultz, Patrick; Spivak, David I. (Springer International Publishing : Imprint: Birkhäuser, 2019)