"Curry-Howard for incomplete first-order logic derivations using ..."

Murdoch James Gabbay, Dominic P. Mulligan (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics