Author books / Книги автора Patrick Schultz David I. Spivak » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Patrick Schultz David I. Spivak

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