Investigations into Proof-Search in a System of First-Order Dependent Function Types.

David J. Pym, Lincoln A. Wallen

Browse the full CADE paper archive.