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

by Jaap Van Oosten
Venue:University of Utrecht
Citations:21 - 2 self