A combinatory algebra for sequential functionals of finite type (1999)

by J van Oosten
Venue:Models and Computability: Invited Papers from Logic Colloquium ’97