Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)(arxiv.org)
arxiv.org
Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)
https://arxiv.org/abs/1710.10258
0 comments
—
https://arxiv.org/abs/1710.10258
—