Aurelio Carboni

	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

Coauthor Index

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]

Colors in the list of coauthors