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


16 years 6 weeks