St\'ephane Jean Eric Lengrand (CNRS

Identifiers

• name variant St\'ephane Jean Eric Lengrand (CNRS 0.60 · backfill

Papers (1)

1. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems cs.LO · 2010 · author #1

Mentions

• 1012.3372 #1 · backfill · confidence 0.70 St\'ephane Jean Eric Lengrand (CNRS

Frequent Coauthors

• Ecole polytechnique 1 shared papers
• France) 1 shared papers
• James McKinna (Radboud University 1 shared papers
• Nijmegen 1 shared papers
• Roy Dyckhoff (School of Computer Science 1 shared papers
• Scotland) 1 shared papers
• the Netherlands) 1 shared papers
• University of St Andrews 1 shared papers