Vai al contenuto principale della pagina
Autore: |
Schultz, Patrick
![]() |
Titolo: |
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
![]() |
Pubblicazione: | Cham, : Birkhäuser, 2019 |
Titolo uniforme: | Temporal Type Theory |
Descrizione fisica: | viii, 235 p. : ill. ; 24 cm |
Soggetto topico: | 18B25 - Topoi [MSC 2020] |
03G30 - Categorical logic, topoi [MSC 2020] | |
03Bxx - General logic [MSC 2020] | |
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] | |
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020] | |
Soggetto non controllato: | Category Theory |
Hybrid dynamical systems | |
Sheave theory | |
Systems engineering | |
Temporal type theory | |
Topoi | |
Altri autori: |
Spivak, David I.
![]() |
Titolo autorizzato: | Temporal Type Theory ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0127200 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-030-00704-1 |
Opac: | Controlla la disponibilità qui |