`Travelled to:`

1 × Portugal

1 × Serbia

1 × Spain

1 × United Kingdom

2 × Poland

2 × USA

`Collaborated with:`

∅ S.Coupet-Grimal A.Madet F.Dabrowski L.Cardelli M.Dam K.B.Bruce G.Longo S.Dal-Zilio L.Jakubiec

`Talks about:`

calculus (4) order (4) second (2) higher (2) domain (2) model (2) type (2) multithread (1) elementari (1) interpret (1)

## Person: Roberto M. Amadio

### DBLP: Amadio:Roberto_M=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 10 papers:

- TLCA-2011-MadetA #multi #thread #λ-calculus
- An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.
- PPDP-2007-AmadioD #π-calculus
- Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.
- CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
- A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
- TLCA-2003-Amadio
- Max-Plus Quasi-interpretations (RMA), pp. 31–45.
- FoSSaCS-1998-AmadioC #analysis #type system
- Analysis of a Guard Condition in Type Theory (RMA, SCG), pp. 48–62.
- POPL-1991-AmadioC #recursion #type system
- Subtyping Recursive Types (RMA, LC), pp. 104–118.
- LICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
- A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
- 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.
- CAAP-1991-Amadio #framework
- Domains in a Realizability Framework (RMA), pp. 241–263.
- TAPSOFT-1995-AmadioD #higher-order #process #reasoning
- Reasoning about Higher-Order Processes (RMA, MD), pp. 202–216.