A Combinatory Algebra for Sequential Functionals of Finite Type (1997)

by Jaap Van Oosten
Venue:University of Utrecht