Material Dialogues for First-Order Logic in Constructive Type Theory.

Dominik Wehr, Dominik Kirst

Browse the full WoLLIC paper archive.