Proof Search with Set Variable Instantiation in the Calculus of Constructions.

Amy P. Felty

Browse the full CADE paper archive.