Realizability Models for Sequential Computation, manuscript from APPSEM'98 Workshop. Available from http://www.dcs.ed.ac.uk/home/jrl (1998)

by J Longley