Machine Learning of Higher Order Programs


Authored By:G. Baliga, J. Case, S. Jain and M. Suraj
Paper Title:Machine Learning of Higher Order Programs
In:J. Symbolic Logic
Vol. 59-2
Publication Date: 1994
Pages:486-500