1. Duality of Banach spaces;Barr;Cahiers Topologie Géom. Différentielle,1976
2. The separated extensional Chu category;Barr;Theory Appl. Categ.,1998
3. Galois theories;Borceux,2001
4. Jeffrey M. Egger. Applications of abstract homotopy theory to linear logic. PhD thesis University of Ottawa, 2005 (to appear)
5. Parallel and serial hypercoherences;Ehrhard;Theoret. Comput. Sci.,2000