Temporal Type Theory
Subtitle: A Topos-Theoretic Approach to Systems and Behavior
Publisher: Birkhäuser
Published: Jan 30, 2019
Format: hardcover
Number of pages: 235
ISBN-13: 9783030007034
Notes: Source title: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)