Descriptive and relative completeness for logics for higher-order functions (2006)

by Kohei Honda , Martin Berger , Nobuko Yoshida
Venue:In ICALP’06, volume 4052 of LNCS
Citations:17 - 9 self