Schultz, Patrick
Temporal type theory : a topos-theoretic approach to systems and behavior
Cham, Switzerland : Birkhäuser, 2019. iii, 235 p. -- (Progress in computer science and applied logic ; vol. 29)
Q295 S34