1. Aczel, P.: Generalised set theory. In: Logic, Language and Computation, Volume 1. CSLI Publications (1996)
2. Aczel, P., Lunnon, R.: Universes and parameters. In: Situation Theory and Its Applications, Volume 2. CSLI Publications (1991)
3. Brown, C.E., Kaliszyk, C., Pąk, K.: Higher-order Tarski Grothendieck as a foundation for formal proof. In: 10th International Conference Interactive Theorem Proving (ITP 2019). Dagstuhl Publishing (2019)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Dunne,2020
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Dunne,2021