Elementary axioms for categories of classes (1999)

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