Florrie Verity

According to our database, Florrie Verity authored at least 2 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Florrie Verity, Yoshihiro Maruyama

Proceedings of the Logic, Language, Information, and Computation, 2024

2017

Formally verified invariants of vote counting schemes.

Florrie Verity, Dirk Pattinson

Proceedings of the Australasian Computer Science Week Multiconference, 2017