Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior /
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a categ...
Κύριοι συγγραφείς: | Schultz, Patrick (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Spivak, David I. (http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2019.
|
Έκδοση: | 1st ed. 2019. |
Σειρά: | Progress in Computer Science and Applied Logic,
29 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Semigroups in Complete Lattices Quantales, Modules and Related Topics /
ανά: Eklund, Patrik, κ.ά.
Έκδοση: (2018) -
Birational Geometry of Hypersurfaces Gargnano del Garda, Italy, 2018 /
Έκδοση: (2019) -
Geometry of Moduli
Έκδοση: (2018) -
Higher Segal Spaces
ανά: Dyckerhoff, Tobias, κ.ά.
Έκδοση: (2019) -
Triangulated Categories of Mixed Motives
ανά: Cisinski, Denis-Charles, κ.ά.
Έκδοση: (2019)