No Access
TOPOI AND COMPUTATION
https://doi.org/10.1142/9789812794499_0023Cited by:0 (Source: Crossref)
Abstract:
This is the written version of a talk given at the C.I.R.M. Workshop on Logic in Computer Science at Marseille, France in June, 1988. Its purpose is to argue that there is a close connection between the theory of computation and the geometric side of topos theory. We begin with a brief outline of the history and basic concepts of topos theory.
