Modal Hyperdoctrine: Higher-Order and Non-normal Extensions
Book chapter (June 2024)
The most recent citing publications are shown below. View all 54 publications that cite this research output on Dimensions.
Book chapter (June 2024)
Article in International Journal of Information Technology (June 2024)
Article in Mathematical Structures in Computer Science (December 2023)