Hofmann, Martin
dcs.ed.ac.ukUniversity of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.