Spivak, David I.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Temporal Type Theory = A Topos-Theoretic Approach to Systems and Behavior /
by:
Spivak, David I.; Schultz, Patrick.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Aerospace engineering.
Aerospace Technology and Astronautics.
Astronautics.
Category Theory, Homological Algebra.
Category theory (Mathematics).
Homological algebra.
Mathematical logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Systems Theory, Control.
System theory.