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


9 years 35 weeks