Autor: David i spivak, 1 titlu

Temporal Type Theory

Patrick Schultz,David I. Spivak