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:
2011
2010
1996
1994
199319931991Wrote 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.