Temporal Type Theory

MLA

Schultz, and David I Spivak. Temporal Type Theory. Springer International Publishing, 2019.

APA

Schultz, S., & Spivak, D. I. (2019). Temporal Type Theory. Springer International Publishing.

Chicago

Schultz, and David I Spivak. Temporal Type Theory. : Springer International Publishing, 2019.