Sergue\"i Lenglet

Identifiers

• name variant Sergue\"i Lenglet 0.60 · backfill

Papers (2)

1. Proving termination of evaluation for System F with control operators cs.PL · 2013 · author #3
2. Expansion for Universal Quantifiers cs.PL · 2012 · author #1

Mentions

• 1309.1261 #3 · backfill · confidence 0.70 Sergue\"i Lenglet
• 1201.1101 #1 · backfill · confidence 0.70 Sergue\"i Lenglet

Frequent Coauthors

• Dariusz Biernacki 1 shared papers
• J. B. Wells 1 shared papers
• Ma{\l}gorzata Biernacka 1 shared papers
• Marek Materzok 1 shared papers