Realizability models for sequential computation, In preparation; an incomplete draft is available from the author’s home (1998)

by J R Longley