Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)https://arxiv.org/abs/1710.10258 by xaedes • 7 years ago 5 0 7 years agoARarxiv.org