1. S. Abramsky and J. Zvesper. From lawvere to brandenburger-keisler: interactive forms of diagonalization and self-reference. CoRR, abs/1006.0992, 2010.
2. Aczel P. Non-well-founded Sets. CSLI Lecture Notes; 1988. volume 14.
3. Awodey S. Category Theory. Oxford University Press; 2006.
4. Barwise J. Moss L. S. Vicious Circles. Center for Study of Language and Information; 1996.
5. Some topological properties of paraconsistent models