Toposes pour les vraiment nuls (1996)

by S Vickers
Venue:Advances in Theory and Formal Methods of Computing