Dear all, A colleague and I have recently finished a book called "Temporal Type Theory: A topos-theoretic approach to systems and behavior". It can be found on the arXiv here: https://arxiv.org/abs/1710.10258. We would be grateful for any feedback, including comments and questions, pointers to relevant literature, etc. Thanks, David