Topology, Algebra and Categories in Logic
Computer Security

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