Universite Paris-Diderot

Identifiers

• name variant Universite Paris-Diderot 0.60 · backfill

Papers (1)

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

Mentions

• 1203.0670 #6 · backfill · confidence 0.70 Universite Paris-Diderot

Frequent Coauthors

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