Masami Hagiya. A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. In Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori, editors, Algorithmic Learning Theory, 4th International Workshop, ALT 93, Tokyo, Japan, November 8-10, 1993, Proceedings. Volume 744 of Lecture Notes in Computer Science, pages 73-86, Springer, 1993.
Abstract is missing.