Axiomatization of Typed First-Order Logic.

Peter H. Schmitt, Mattias Ulbrich

Browse the full FM paper archive.