Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Zeitliche Typentheorie: Ein topos-theoretischer Ansatz für Systeme und Verhalten

Ø 0.0
0 Bewertungen
68,16 €

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: