Tag: Patrick Schultz

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

Algebra November 5, 2022

Ebook Info Published: 2019 Number of pages: 244 pages Format: PDF File Size: 6.33 MB Authors: Patrick...

Read more

Advertisement

spot_img