Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29)

6.33 MiB

Download ready in 3s