Higher-Order Quantification and Proof Search (2002)

by Dale Miller
Venue:In Proceedings of the AMAST confrerence, LNCS
Citations:7 - 4 self