01675nam0 2200361 i 450 SUN012720020200304014115.8620.00N978-3-030-00704-120200302d2019 |0engc50 baengCH|||| |||||*Temporal Type TheoryA Topos-Theoretic Approach to Systems and BehaviorPatrick Schultz, David I. SpivakCham : Birkhäuser, 2019viii235 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN00526792001 *Progress in computer science and applied logic29210 BostonBirkhäuser1982-.18B25Topoi [MSC 2020]MFSUNC02002203G30Categorical logic, topoi [MSC 2020]MFSUNC02438403BxxGeneral logic [MSC 2020]MFSUNC02442518F20Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]MFSUNC02444993-10Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]MFSUNC025288CHChamSUNL001889Schultz, PatrickSUNV098641781805Spivak, David I.SUNV098642781806BirkhäuserSUNV000319650ITSOL20210503RICAhttp://doi.org/10.1007/978-3-030-00704-1SUN0127200UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1766 08eMF1766 20200302 Temporal Type Theory1733782UNICAMPANIA