
Temporal Type Theory
- Alaotsikko
- A Topos-Theoretic Approach to Systems and Behavior
- Kirjailija
- Patrick Schultz, David I. Spivak
- Painos
- 2019 ed.
- ISBN
- 9783030007034
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 11.2.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 235