1. An Introduction to Inductive Definitions;Aczel,1977
2. G. Birolo, La battaglia tra Ercole e l’idra: una presentazione topologica, tesi di laurea breve, Università di Padova (relatore Valentini S.), in italian, 2006.
3. T. Coquand, Formal topology with Posets, unpublished, 1996, (see http://www.math.chalmers.se/~coquand).
4. The calculus of constructions;Coquand;Information and Computation,1988
5. Inductively generated formal topologies;Coquand;Annals of Pure and Applied Logic,2003