| |
| 1998 | ||
|---|---|---|
| 3 | Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott: Type Theory via Exact Categories. LICS 1998: 188-198 | |
| 1995 | ||
| 2 | Aurelio Carboni, Peter Johnstone: Connected Limits, Familial Representability and Artin Glueing. Mathematical Structures in Computer Science 5(4): 441-459 (1995) | |
| 1987 | ||
| 1 | Aurelio Carboni, Peter J. Freyd, Andre Scedrov: A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42 | |
| 1 | Lars Birkedal | [3] |
| 2 | Peter J. Freyd | [1] |
| 3 | Peter Johnstone | [2] |
| 4 | Giuseppe Rosolini | [3] |
| 5 | Andre Scedrov | [1] |
| 6 | Dana S. Scott | [3] |