Lawrence Paulson

Identifiers

• name variant Lawrence Paulson 0.60 · backfill

Papers (3)

1. Mathematical Proof Between Generations math.HO · 2022 · author #7
2. A Modular First Formalisation of Combinatorial Design Theory cs.LO · 2021 · author #2
3. Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types math.AG · 2021 · author #2

Mentions

• 2207.04779 #7 · arxiv_oai · confidence 0.70 Lawrence Paulson
• 2105.13583 #2 · arxiv_oai · confidence 0.70 Lawrence Paulson
• 2104.09366 #2 · arxiv_oai · confidence 0.70 Lawrence Paulson

Frequent Coauthors

• Anthony Bordg 1 shared papers
• Benedikt Stock 1 shared papers
• Chelsea Edmonds 1 shared papers
• Christoph Benzm\"uller 1 shared papers
• Dierk Schleicher 1 shared papers
• Efim Zelmanov 1 shared papers
• Jonas Bayer 1 shared papers
• Kevin Buzzard 1 shared papers
• Leslie Lamport 1 shared papers
• Marco David 1 shared papers
• Wenda Li 1 shared papers
• Yuri Matiyasevich 1 shared papers