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


11 years 13 weeks