Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Progress in computer science and applied logic Basel [etc.] . -Birkhäuser ; 29