Elementary Axioms for Categories of Classes

@inproceedings{Simpson1999ElementaryAF,
  title={Elementary Axioms for Categories of Classes},
  author={Alex K. Simpson},
  booktitle={LICS},
  year={1999}
}