Aurelio Carboni

According to our database, Aurelio Carboni authored at least 4 papers between 1987 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Corrigenda for 'Connected limits, familial representability and Artin glueing'.

Aurelio Carboni, Peter T. Johnstone

Math. Struct. Comput. Sci., 2004

1998

Type Theory via Exact Categories.

Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1995

Connected Limits, Familial Representability and Artin Glueing.

Aurelio Carboni, Peter T. Johnstone

Math. Struct. Comput. Sci., 1995

1987

A Categorical Approach to Realizability and Polymorphic Types.

Aurelio Carboni, Peter J. Freyd, Andre Scedrov

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987