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 Theory1733782UNICAMPANIA03099nam 22006255 450 991048404300332120251226195924.03-642-40346-810.1007/978-3-642-40346-0(CKB)3710000000015915(SSID)ssj0000988123(PQKBManifestationID)11621032(PQKBTitleCode)TC0000988123(PQKBWorkID)10948302(PQKB)10176386(DE-He213)978-3-642-40346-0(MiAaPQ)EBC3093456(PPN)172429366(EXLCZ)99371000000001591520130820d2013 u| 0engurnn#008mamaatxtccrElectronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013, Proceedings /edited by Maria A. Wimmer, Efthimios Tambouris, Ann Macintosh1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 159 p. 39 illus.)Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;8075Bibliographic Level Mode of Issuance: Monograph3-642-40345-X Research directions -- Social media and eParticipation -- Online deliberation.This book constitutes the refereed proceedings of the 5th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2013, held in Koblenz, Germany, in September 2013. The 13 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers cover a wide range of research in both social and technological scientific domains, seeking to demonstrate new theories, concepts, methods and styles of eParticipation with the support of innovative ICT. They have been organized in the following topical sections: research directions, social media and eParticipation, and online deliberation.Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;8075Computers and civilizationInformation technologyManagementComputer networksComputers and SocietyComputer Application in Administrative Data ProcessingComputer Communication NetworksComputers and civilization.Information technologyManagement.Computer networks.Computers and Society.Computer Application in Administrative Data Processing.Computer Communication Networks.004Wimmer Maria Aedthttp://id.loc.gov/vocabulary/relators/edtTambouris Efthimiosedthttp://id.loc.gov/vocabulary/relators/edtMacintosh Annedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910484043003321Electronic Participation3552043UNINA