Descriptive and Relative Completeness of Logics for Higher-Order Functions.

Kohei Honda, Martin Berger, Nobuko Yoshida

Browse the full ICALP paper archive.