Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Progress in Computer Science and Applied Logic
Schultz, Patrick
Spivak, David I.
- 内容紹介：
-
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.