John Longley

Available identifiers

Publication	Date of Publication	Type
Asymptotic speedup via effect handlers	2024-06-25	Paper
Bar recursion is not computable via iteration	2020-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4585074	2018-09-06	Paper
When is a functional program not a functional program?	2016-09-01	Paper
Computability structures, simulations and realizability	2016-07-26	Paper
Some programming languages suggested by game models (extended abstract)	2016-05-10	Paper
Higher-Order Computability	2015-12-16	Paper
On the ubiquity of certain total type structures (extended abstract)	2013-10-10	Paper
Interpreting Localized Computational Effects Using Operators of Higher Type	2008-06-19	Paper
On the ubiquity of certain total type structures	2007-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5316371	2005-09-12	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
The sequentially realizable functionals	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4499146	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4513585	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4508300	2001-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4511324	2000-10-30	Paper
A uniform approach to domain theory in realizability models	2000-04-06	Paper
Partial functions in a total setting	1997-09-07	Paper

This page was built for person: John Longley