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