`Travelled to:`

1 × Finland

1 × France

1 × The Netherlands

2 × United Kingdom

4 × USA

`Collaborated with:`

K.B.Bruce ∅ G.Castagna G.Ghelli L.Cardelli M.V.Zilli K.Milsted S.Soloviev R.M.Amadio

`Talks about:`

model (4) calculus (3) overload (2) subtyp (2) semant (2) domain (2) comput (2) order (2) equat (2) earli (2)

## Person: Giuseppe Longo

### DBLP: Longo:Giuseppe

### Contributed to:

### Wrote 10 papers:

- ESEC-FSE-2003-Longo #modelling
- Computer modelling and natural phenomena (GL), pp. 1–5.
- LICS-1995-LongoMS #logic #type system
- A Logic of Subtyping (GL, KM, SS), pp. 292–299.
- TLCA-1993-CastagnaGL #calculus #semantics
- A Semantics for λ&-early: A Calculus with Overloading and Early Binding (GC, GG, GL), pp. 107–123.
- LFP-1992-CastagnaGL #calculus #type system
- A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.
- LFP-1990-CardelliL #semantics
- A Semantic Basis for Quest (LC, GL), pp. 30–43.
- LICS-1988-BruceL #bound #inheritance #quantifier
- A Modest Model of Records, Inheritance and Bounded Quantification (KBB, GL), pp. 38–50.
- LICS-1986-AmadioBL #equation #higher-order #λ-calculus
- The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
- STOC-1985-BruceL #equation #modelling #morphism
- Provable Isomorphisms and Domain Equations in Models of Typed Languages (KBB, GL), pp. 263–272.
- ICALP-1976-LongoZ #formal method
- A Theory of Computation with an Identity Discriminator (GL, MVZ), pp. 147–167.
- TAPSOFT-1993-Longo #parametricity
- Types as Parameters (GL), pp. 658–670.