Book serie: / Книги серии: Progress in Computer Science and Applied Logic 29 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Progress in Computer Science and Applied Logic 29

book Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

pdf

Author: Patrick Schultz David I. Spivak
Language: English
Year: 2019

00

30.01.2024

0

0