3 ms·Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)5 points by xaedes 7y ago