Formally verified invariants of vote counting schemes. - Florrie Verity; Dirk Pattinson (ACSW, 2017)

Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. - Florrie Verity; Yoshihiro Maruyama (WoLLIC, 2024)