Simpson, Alexander
dcs.ed.ac.ukUniversity of Edinburgh - Category theory, domain theory, logic, type theory.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
University of Edinburgh - Category theory, domain theory, logic, type theory.