Elementary axioms for categories of classes (1999)

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