[TYPES] temporal type theory book

David Spivak dspivak at gmail.com
Wed Nov 8 14:14:56 EST 2017


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


More information about the Types-list mailing list