02079nam0 2200445 i 450 VAN0012720020240806100823.545N978303000704120200302d2019 |0itac50 baengCH|||| |||||Temporal Type TheoryA Topos-Theoretic Approach to Systems and BehaviorPatrick Schultz, David I. SpivakChamBirkhäuser2019viii, 235 p.ill.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser29VAN00237016Temporal Type Theory173378203BxxGeneral logic [MSC 2020]VANC024425MF03G30Categorical logic, topoi [MSC 2020]VANC024384MF18B25Topoi [MSC 2020]VANC020022MF18F20Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]VANC024449MF93-10Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]VANC025288MFCategory TheoryKW:KHybrid dynamical systemsKW:KSheave theoryKW:KSystems engineeringKW:KTemporal type theoryKW:KTopoiKW:KCHChamVANL001889SchultzPatrickVANV098641781805SpivakDavid I.VANV098642781806Birkhäuser <editore>VANV108193650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-030-00704-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00127200BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 1766 08eMF1766 20200302 Temporal Type Theory1733782UNICAMPANIA