"Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a ..."

Ramana Kumar et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics