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 × Finland
1 × Latvia
1 × Poland
1 × Serbia
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × USA
2 × Germany
2 × United Kingdom
Collaborated with:
I.Walukiewicz P.d.Groote G.M.Kobele P.Bourreau M.Kanazawa B.Guillaume G.Manzonetto M.Gehrke H.Barendregt
Talks about:
calculus (4) higher (4) order (4) type (4) linear (3) model (3) match (3) properti (2) scheme (2) hierarchi (1)

Person: Sylvain Salvati

DBLP DBLP: Salvati:Sylvain

Contributed to:

CSL 20152015
FoSSaCS 20152015
ICALP (2) 20132013
TLCA 20132013
ICALP (2) 20122012
ICALP (2) 20112011
TLCA 20112011
LATA 20102010
RTA 20062006
CSL 20042004
LICS 20042004
RTA 20032003

Wrote 12 papers:

CSL-2015-SalvatiW #behaviour #higher-order #source code
A Model for Behavioural Properties of Higher-order Programs (SS, IW), pp. 229–243.
FoSSaCS-2015-SalvatiW #type system
Typing Weak MSOL Properties (SS, IW), pp. 343–357.
ICALP-v2-2013-KobeleS #revisited
The IO and OI Hierarchies Revisited (GMK, SS), pp. 336–348.
TLCA-2013-SalvatiW #modelling #recursion #using
Using Models to Model-Check Recursive Schemes (SS, IW), pp. 189–204.
Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.
ICALP-v2-2011-SalvatiW #higher-order
Krivine Machines and Higher-Order Schemes (SS, IW), pp. 162–173.
TLCA-2011-BourreauS #game studies #semantics #λ-calculus
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
LATA-2010-KanazawaS #context-free grammar #multi #power of
The Copying Power of Well-Nested Multiple Context-Free Grammars (MK, SS), pp. 344–355.
RTA-2006-Salvati #equation #linear #type system #λ-calculus
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.
CSL-2004-GrooteS #higher-order #linear #λ-calculus
Higher-Order Matching in the Linear λ-calculus with Pairing (PdG, SS), pp. 220–234.
LICS-2004-GrooteGS #automaton
Vector Addition Tree Automata (PdG, BG, SS), pp. 64–73.
RTA-2003-SalvatiG #complexity #higher-order #linear #on the #λ-calculus
On the Complexity of Higher-Order Matching in the Linear λ-Calculus (SS, PdG), pp. 234–245.

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.