Toposes pour les vraiment nuls (1996)

by Steven Vickers
Venue:Advances in Theory and Formal Methods of Computing
Citations:4 - 2 self