Author/Creator: Spivak, David I, 1978- - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Spivak, David I, 1978-

1. Temporal type theory : a topos-theoretic approach to systems and behavior /: a topos-theoretic approach to systems and behavior. ([2019])

Authors:: Schultz, Patrick; Spivak, David I, 1978-
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗