Temporal type theory. A topos-theoretic approach to systems and behavior
From MaRDI portal
Publication:1791242
DOI10.1007/978-3-030-00704-1zbMath1457.18001arXiv1710.10258OpenAlexW4240738883MaRDI QIDQ1791242
Patrick Schultz, David I. Spivak
Publication date: 4 October 2018
Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.10258
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Temporal logic (03B44) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Related Items (7)
Double Categories of Open Dynamical Systems (Extended Abstract) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Networks of hybrid open systems ⋮ Dynamical systems and sheaves
This page was built for publication: Temporal type theory. A topos-theoretic approach to systems and behavior
