Translating Between Implicit and Explicit Versions of Proof.

Roberto Blanco, Zakaria Chihani, Dale Miller

Browse the full CADE paper archive.