TY  - RPRT
TI  - Temporal Type Theory: A topos-theoretic approach to systems and behavior
AU  - Patrick Schultz
AU  - David I. Spivak
PY  - 2017
UR  - https://arxiv.org/abs/1710.10258
ID  - 1710.10258
ER  -