BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Serbia
2 × Sweden
2 × The Netherlands
Collaborated with:
M.Fernández'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 DBLP: Barbanera:Franco

Contributed to:

TLCA 20112011
PPDP 20102010
ESOP 19961996
LICS 19941994
ICALP 19931993
TLCA 19931993
LICS 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.