Peter L. Lumsdaine

Identifiers

• name variant Peter L. Lumsdaine 0.60 · backfill

Papers (1)

1. Lawvere-Tierney sheaves in algebraic set theory math.LO · 2007 · author #3

Mentions

• 0711.1529 #3 · backfill · confidence 0.70 Peter L. Lumsdaine

Frequent Coauthors

• Michael A. Warren 1 shared papers
• Nicola Gambino 1 shared papers
• Steve Awodey 1 shared papers