Machine learning of higher-order programs (1994)

by G Baliga, J Case, S Jain, M Suraj
Venue:the Journal of Symbolic Logic