APA (7th ed.) Citation

Schultz, P., & Spivak, D. I. (2019). Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (1st ed. 2019.). Springer International Publishing : Imprint: Birkhäuser. https://doi.org/10.1007/978-3-030-00704-1

Chicago Style (17th ed.) Citation

Schultz, Patrick, and David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. 1st ed. 2019. Cham: Springer International Publishing : Imprint: Birkhäuser, 2019. https://doi.org/10.1007/978-3-030-00704-1.

MLA (8th ed.) Citation

Schultz, Patrick, and David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. 1st ed. 2019. Springer International Publishing : Imprint: Birkhäuser, 2019. https://doi.org/10.1007/978-3-030-00704-1.