A typed lambda-calculus for proving-by-example and bottom-up generalization procedure


Authored By:Masami Hagiya
Paper Title:A typed lambda-calculus for proving-by-example and bottom-up generalization procedure
In:Theoret. Comput. Sci.
Number 1 Vol. 137
Publication Date: 1995
Pages:3-23