Temporal Type Theory | Patrick Schultz, David I. Spivak

Temporal Type Theory | Patrick Schultz, David I. Spivak REDIRECT