Statistics
Publications
8
Citations
229
H-Index
8
Active since
1997
Affiliations
University of Edinburgh(Current)
John Longley is an author at University of Edinburgh specializing in computer science, computing, and mathematics.
Publications per year
1997–2013
8
8
The sequentially realizable functionals
John Longley · Annals of Pure and Applied Logic · 2002 · 56 citations · Full text
When is a functional program not a functional program?
John Longley · 1999 · 44 citations
Matching typed and untyped realizability
John Longley · Electronic Notes in Theoretical Computer Science · 1999 · 26 citations · Full text
Computing, Computer Science, Logic +16
Partial Functions in a Total Setting
Simon Finn, Michael Fourman, John Longley · Journal of Automated Reasoning · 1997 · 19 citations
1–5 of 8