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.