1. Badiou, A.: Platon et/ou Aristote. Théorie des ensembles et théorie des topoi sous l’œil du philosophe. In: Panza M., Salanskis, J.M. (eds.) L’Objectivité mathématique. Masson, Paris (1995)
2. Badiou, A.: Court traité d’ontologie transitoire. Seuil, Paris (1998)
3. da Silva de Queiroz, G.: Sobre a dualidade entre intuicionismo e paraconsistência. PhD thesis, Brasil (1998)
4. Lambek J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge Studies in Advanced Mathematics 7. Cambridge University Press, Cambridge (1986)
5. Lavendhomme, R.: Lieux du Sujet. Psychanalyse et Mathématiques. Seuil, Paris (2001)