Categorical semantics and topos theory

https://people.maths.ox.ac.uk/simkievich/topos_and_categorical_semantics.pdf

Publicités