Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)arxiv.org5 points·xaedes··0 commentsOpen articleSaveView on HN