Complete Problems for Higher Order Logics.

Lauri Hella, Jose Maria Turull Torres

Browse the full CSL paper archive.