Patrick Schultz, David I. Spivak

Temporal Type Theory - 1st ed. 2019 - Springer International Publishing 2019 - Progress in Computer Science and Applied Logic .

9783030007041


Mathematics and Statistics