A combinatory algebra for sequential functionals of type (1997)

by J van Oosten
Venue:University of Utrecht