`Travelled to:`

1 × Canada

1 × Finland

1 × France

1 × Poland

`Collaborated with:`

R.Statman G.D.Penna A.R.Laurenzi S.Orefice A.D.Marco I.Melatti A.Pierantonio

`Talks about:`

calculus (2) rule (2) methodolog (1) interoper (1) scenario (1) diagram (1) develop (1) complet (1) between (1) toward (1)

## Person: Benedetto Intrigila

### DBLP: Intrigila:Benedetto

### Contributed to:

### Wrote 4 papers:

- TLCA-2007-IntrigilaS #calculus
- The ω-Rule is Π¹₁-Complete in the λβ-Calculus (BI, RS), pp. 178–193.
- LICS-2004-IntrigilaS #calculus
- The ω-Rule is Π⁰₂-Hard in the λβ-Calculus (BI, RS), pp. 202–210.
- SEKE-2004-PennaILO #development
- A Methodology for Scenario Development (GDP, BI, ARL, SO), pp. 7–12.
- FASE-2003-PennaMIMP #diagrams #named #towards #xml
- Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.