Imagen Principal
1 2

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Imagen ampliada