Higher-order uni with dependent types (1989)

by C Elliott
Venue:Rewriting Techniques and Applications