Quantifiers and sheaves (1970)

by F W Lawvere
Venue:Actes du congres international des mathematiciens