Generalization from partial parameterization in higher-order type theory (1989)

by Masami Hagiya
Venue:Theoretical Computer Science