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

by Masami Hagiya
Venue:3 - 1 3 9