Notions of computability at higher types III

Notions of computability at higher types III (2001)

by John Longley

Citations:

3 - 3 self

@MISC{Longley01notionsof,
    author = {John Longley},
    title = {Notions of computability at higher types III},
    year = {2001}
}

55	Realizability Toposes and Language Semantics - Longley - 1995
45	as a universal domain - Plotkin - 1978
36	The sequentially realizable functionals - Longley
34	An Axiomatisation of Computationally Adequate Domain-Theoretic Models of FPC - Fiore, Plotkin - 1994
17	Matching typed and untyped realizability - Longley - 1999
4	Unifying typed and untyped realizability. Electronic note, available at http://www.dcs.ed.ac.uk/home/jrl/unifying.txt - Longley - 1999
4	Full abstraction and universality via realisability - Marz, Rohr, et al. - 1999
1	Comparing realizability over P# and K 2 - Lietz - 1999