Florrie Verity, Yoshihiro Maruyama: Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC 2024: 225-242