Patrick Schultz, David I. Spivak

Temporal Type Theory - Springer Springer 2019

9783030007041

EBOOK