APA (7th ed.) Citation

Schultz, P., & Spivak, D. I. (2019). Temporal type theory: A topos-theoretic approach to systems and behavior. Birkhäuser.

Chicago Style (17th ed.) Citation

Schultz, Patrick, and David I. Spivak. Temporal Type Theory: A Topos-theoretic Approach to Systems and Behavior. Cham: Birkhäuser, 2019.

MLA (9th ed.) Citation

Schultz, Patrick, and David I. Spivak. Temporal Type Theory: A Topos-theoretic Approach to Systems and Behavior. Birkhäuser, 2019.