Higher-order quantification and proof search (2002)

by Dale Miller
Venue:Algebraic Methodology and Software Technology (AMAST’02