Topology, Algebra and Categories in Logic
Computer Security

Hansen, H., Ossa, C., Palmigiano, A., & Re, R. (2015). SGF-Quantales and their Groupoids. In Abstracts of Topology, Algebra and Categories in Logic 2015.