Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior by Patr
131,61 €
The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics.
Jetzt bei Ebay:
