Unified Classical Logic Completeness - A Coinductive Pearl.

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Browse the full CADE paper archive.