# nLab Harold Simmons

• Webpage at Manchester
• Specialization: logic, model theory, lattices, (semi)rings, localization, pointless topology, sheaf representations, recursion theory, $\lambda$-calculus, and proof theory

Created on November 6, 2015 at 12:16:41. See the history of this page for a list of all contributions to it.