Realizability models based on history-free strategies. Unpublished draft (1999)

by S Abramsky, J R Longley