Open Higher-Order Logic.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

Browse the full CSL paper archive.