LIX (Ecole Polytechnique))

Identifiers

• name variant LIX (Ecole Polytechnique)) 0.60 · backfill

Papers (1)

1. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus cs.LO · 2012 · author #4

Mentions

• 1203.0670 #4 · backfill · confidence 0.70 LIX (Ecole Polytechnique))

Frequent Coauthors

• Beniamino Accattoli (LIPN (CNRS 1 shared papers
• CNRS) 1 shared papers
• Delia Kesner (PPS 1 shared papers
• Inria 1 shared papers
• Universite Paris-Diderot 1 shared papers
• Universite Paris-Nord) 1 shared papers