Elementary axioms for the category of classes (1999)

by A K Simpson
Venue:In 14th Annual IEEE Symposium on Logic in Computer Science