Roy Dyckhoff (School of Computer Science

Identifiers

• name variant Roy Dyckhoff (School of Computer Science 0.60 · backfill

Papers (1)

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

Mentions

• 1012.3372 #4 · backfill · confidence 0.70 Roy Dyckhoff (School of Computer Science

Frequent Coauthors

• Ecole polytechnique 1 shared papers
• France) 1 shared papers
• James McKinna (Radboud University 1 shared papers
• Nijmegen 1 shared papers
• Scotland) 1 shared papers
• St\'ephane Jean Eric Lengrand (CNRS 1 shared papers
• the Netherlands) 1 shared papers
• University of St Andrews 1 shared papers