Modal Hyperdoctrine: Higher-Order and Non-normal Extensions.

Florrie Verity, Yoshihiro Maruyama

Browse the full WoLLIC paper archive.