Serguei Lenglet

Identifiers

• name variant Serguei Lenglet 0.60 · backfill

Papers (3)

1. Faithful (meta-)encodings of programmable strategies into term rewriting systems cs.PL · 2017 · author #2
2. Normal Form Bisimulations for Delimited-Control Operators cs.PL · 2012 · author #2
3. Applicative Bisimulations for Delimited-Control Operators cs.PL · 2012 · author #2

Mentions

• 1202.5959 #2 · backfill · confidence 0.70 Serguei Lenglet
• 1201.0874 #2 · backfill · confidence 0.70 Serguei Lenglet

Frequent Coauthors

• Dariusz Biernacki 2 shared papers
• Horatiu Cirstea 1 shared papers
• Pierre-Etienne Moreau 1 shared papers