Home » user account

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


17 years 46 weeks