Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017) (arxiv.org) 5 points by xaedes 7y ago ↗ HN
0 comments
[ 2.5 ms ] story [ 12.1 ms ] threadNo comments yet.