[TYPES] temporal type theory book

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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