Phil Scott

Identifiers

• name variant Phil Scott 0.60 · backfill

Papers (5)

1. Bootstrapping LCF Declarative Proofs cs.LO · 2017 · author #1
2. Compiling Purely Functional Structured Programs cs.PL · 2017 · author #1
3. Local Lexing cs.LO · 2017 · author #2
4. Social Network Processes in the Isabelle and Coq Theorem Proving Communities cs.SI · 2016 · author #3
5. ProofPeer: Collaborative Theorem Proving cs.LO · 2014 · author #3

Mentions

• 1404.6186 #3 · backfill · confidence 0.70 Phil Scott

Frequent Coauthors

• Jacques Fleuriot 5 shared papers
• Steven Obua 5 shared papers
• David Aspinall 1 shared papers