Simpson, Alexander
University of Edinburgh - Category theory, domain theory, logic, type theory.

No queries for homepages.inf.ed.ac.uk/als