The sequentially realizable functionals (1998)

by J Longley
Venue:Annals of Pure and Applied Logic