Aurelio Carboni

Publication Activity (10 Years)

Years Active: 1987-2004
Publications (10 Years): 0

Publications

Aurelio Carboni, Peter T. Johnstone
Corrigenda for 'Connected limits, familial representability and Artin glueing'. Math. Struct. Comput. Sci. 14 (1) (2004)
Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott
Type Theory via Exact Categories. LICS (1998)
Aurelio Carboni, Peter T. Johnstone
Connected Limits, Familial Representability and Artin Glueing. Math. Struct. Comput. Sci. 5 (4) (1995)
Aurelio Carboni, Peter J. Freyd, Andre Scedrov
A Categorical Approach to Realizability and Polymorphic Types. MFPS (1987)