John Longley

Personal information


At University of Edinburgh since 1990


Notions of computability, particularly at higher types
Semantics and logic of programming languages
Game semantics

History


10 years 5 weeks