A Categorical Approach to Realizability and Polymorphic Types. - Aurelio Carboni; Peter J. Freyd; Andre Scedrov (MFPS, 1987)

Connected Limits, Familial Representability and Artin Glueing. - Aurelio Carboni; Peter T. Johnstone (Math. Struct. Comput. Sci., 1995)

Type Theory via Exact Categories. - Lars Birkedal; Aurelio Carboni; Giuseppe Rosolini; Dana S. Scott (LICS, 1998)

Corrigenda for 'Connected limits, familial representability and Artin glueing'. - Aurelio Carboni; Peter T. Johnstone (Math. Struct. Comput. Sci., 2004)