1971] “Quantifiers and sheaves (0)

by F W Lawvere
Venue:Actes Congrés. Intern. Math. 1970, Gauthiers-Villars