Travelled to:1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:H.Goguen M.Fernández D.Aspinall P.Garralda M.Dezani-Ciancaglini
Talks about:subtyp (2) symmetri (1) calculus (1) session (1) ambient (1) algebra (1) rewrit (1) object (1) higher (1) depend (1)
Person: Adriana B. Compagnoni
DBLP: Compagnoni:Adriana_B=
Contributed to:
2006
19991997
1996Wrote 4 papers:
- PPDP-2006-GarraldaCD #named
- BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
- CSL-1999-CompagnoniG #higher-order #symmetry #type system
- Anti-Symmetry of Higher-Order Subtyping (ABC, HG), pp. 420–438.
- PLILP-1997-CompagnoniF #algebra #calculus #on the
- On Object Calculus with Algebraic Rewriting (ABC, MF), pp. 17–31.
- LICS-1996-AspinallC #dependent type #type system
- Subtyping Dependent Types (DA, ABC), pp. 86–97.