3 ms·Temporal Type Theory: A topos-theoretic approach to systems and behavior2 points by mindcrime 5y ago