`Travelled to:`

1 × Austria

1 × France

1 × Serbia

2 × Sweden

2 × The Netherlands

`Collaborated with:`

M.Fernández U.de'Liguoro S.v.Bakel S.Berardi F.Alessi H.Geuvers

`Talks about:`

system (5) rewrit (3) confluenc (2) modular (2) normal (2) combin (2) type (2) construct (1) behaviour (1) calculus (1)

## Person: Franco Barbanera

### DBLP: Barbanera:Franco

### Contributed to:

### Wrote 8 papers:

- TLCA-2011-BakelBd #λ-calculus #μ-calculus
- A Filter Model for the λμ-Calculus — (SvB, FB, Ud), pp. 213–228.
- PPDP-2010-Barbanerad #behaviour
- Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.
- ESOP-1996-BakelBF #abstraction #normalisation #term rewriting
- Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
- LICS-1994-BarbaneraFG #algebra #composition #confluence #normalisation
- Modularity of Strong Normalization and Confluence in the algebraic-λ-Cube (FB, MF, HG), pp. 406–415.
- ICALP-1993-BarbaneraF #composition #confluence #term rewriting #termination
- Modularity of Termination and Confluence in Combinations of Rewrite Systems with λω (FB, MF), pp. 657–668.
- TLCA-1993-BarbaneraB #logic #reduction
- Extracting Constructive Content from Classical Logic via Control-like Reductions (FB, SB), pp. 45–59.
- TLCA-1993-BarbaneraF #higher-order #term rewriting
- Combining First and Higher Order Rewrite Systems with Type Assignment Systems (FB, MF), pp. 60–74.
- LICS-1991-AlessiB #semantics #towards
- Towards a Semantics for the QUEST Language (FA, FB), pp. 12–21.