Mark Bickford

Identifiers

• name variant Mark Bickford 0.60 · backfill

Papers (2)

1. Formalizing Category Theory and Presheaf Models of Type Theory in Nuprl cs.LO · 2018 · author #1
2. Intuitionistic Completeness of First-Order Logic cs.LO · 2011 · author #2

Mentions

• 1110.1614 #2 · backfill · confidence 0.70 Mark Bickford

Frequent Coauthors

• Robert Constable 1 shared papers