John Longley
Position
Lecturer
Roles
Member of Laboratory for Foundations of Computer Science
Research Interests
Higher type computability, semantics of programming languages, program verification.
Email Address
<jrl@inf.ed.ac.uk>
Office,Telephone
IF-5.12, +44 (0) 131 650 5140
Informatics Research Reports
Publication Repository Entries (experimental)
Personal Page


Home : People 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh