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

Computer

von: Patrick Schultz · David I. Spivak

Gebunden

Details (Deutschland)

ISBN-13: 978-3-030-00703-4

ISBN-10: 3-030-00703-0

Birkhäuser · Februar 2019