Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.

Oliver Bittel

Browse the full JELIA paper archive.