1. Seven trees in one;Blass;J. Pure Appl. Algebra,1995
2. Two models of synthetic domain theory;Fiore;J. Pure Appl. Algebra,1997
3. Compact sets of functions and function rings;Gale;Proc. Amer. Math. Soc.,1950
4. On the generic solutions to PX=X in distributive categories;Gates;J. Pure Appl. Algebra,1998
5. A. Grothendieck, Esquisses d'un programme. Rapport Scientifique, Centre National de la Recherche Scientifique, Université de Montpellier, 1984.