—SEC. 05 — People
People
— SEC. 01
Listings
Listings
All links in this category.
Showing 1–3 of 3 editor-approved links.
People
Holmes, Randall
diamond.boisestate.edu
Boise State University - Set theory: New Foundations, automated theorem proving.
Added May 10, 2026
People
Scott, Dana
www.cs.cmu.edu
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
Added May 10, 2026
People
Robinson, Edmund
www.eecs.qmul.ac.uk
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
Added May 10, 2026