Generalization from partial parameterization in higher-order type theory. Theoretical Computer Science, 63:113–139 (1989)

by Masami Hagiya
Venue:Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume