1,544 followers
@johncarlosbaez @JDHamkins ...and there's also https://t.co/yZwGTFgsVr.
@johncarlosbaez @JDHamkins ...and there's also https://t.co/yZwGTFgsVr.
Patrick Schultz and David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Birkhäuser, 2019. https://t.co/epp4fhZTqY