1. Quantales, observational logic and process semantics;Abramsky;Math. Struct. Comput. Sci.,1993
2. P. Aczel, Notes on Constructive Set Theory, Draft, 1997
3. G. Battilotti, G. Sambin, A uniform presentation of sup-lattices, quantales and frames by means of infinitary preordered sets, pretopologies and formal topologies, Preprint no. 19 of Dipartimento di Matematica P. e Appl., Università di Padova, 1993
4. Inductively generated formal topologies;Coquand;Ann. Pure Appl. Logic,2003
5. Inductive families;Dybier;Form. Asp. Comput.,1994