Sergue\"i Lenglet (INRIA Nancy - Grand Est / LORIA)

Identifiers

• name variant Sergue\"i Lenglet (INRIA Nancy - Grand Est / LORIA) 0.60 · backfill

Papers (1)

1. Environmental Bisimulations for Delimited-Control Operators cs.PL · 2013 · author #2

Mentions

• 1309.3919 #2 · backfill · confidence 0.70 Sergue\"i Lenglet (INRIA Nancy - Grand Est / LORIA)

Frequent Coauthors

• Dariusz Biernacki 1 shared papers