Languages
Spivak, David I.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Temporal type theory = a topos-theoretic approach to systems and behavior /
by:
Schultz, Patrick.; Spivak, David I.; SpringerLink (Online service)
(Electronic resources)