Harold Simmons was a mathematician at the University of Manchester. His works include topics as logic, model theory, lattices, rings, semirings, localization, pointless topology, sheaf representations, recursion theory, -calculus, and proof theory.
On category theory:
Last revised on September 19, 2025 at 07:46:47. See the history of this page for a list of all contributions to it.