LEADER 01675nam0 2200361 i 450 
001 SUN0127200
005 20200304014115.862
010   $d0.00
017 70$2N$a978-3-030-00704-1
100   $a20200302d2019       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Temporal Type Theory$eA Topos-Theoretic Approach to Systems and Behavior$fPatrick Schultz, David I. Spivak
205   $aCham : Birkhäuser, 2019
210   $aviii$d235 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0052679$12001 $a*Progress in computer science and applied logic$v29$1210  $aBoston$cBirkhäuser$d1982-.
606   $a18B25$xTopoi [MSC 2020]$2MF$3SUNC020022
606   $a03G30$xCategorical logic, topoi [MSC 2020]$2MF$3SUNC024384
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
606   $a18F20$xPresheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]$2MF$3SUNC024449
606   $a93-10$xMathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]$2MF$3SUNC025288
620   $aCH$dCham$3SUNL001889
700  1$aSchultz$b, Patrick$3SUNV098641$0781805
701  1$aSpivak$b, David I.$3SUNV098642$0781806
712   $aBirkhäuser$3SUNV000319$4650
801   $aIT$bSOL$c20210503$gRICA
856 4 $uhttp://doi.org/10.1007/978-3-030-00704-1
912   $aSUN0127200
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  1766        $e08eMF1766              20200302            
996   $aTemporal Type Theory$91733782
997   $aUNICAMPANIA