![]() | ![]() |
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] |