TY - RPRT TI - The Involutive Quantaloid of Completely Distributive Lattices AU - Luigi Santocanale PY - 2020 UR - https://arxiv.org/abs/1911.01085 ID - 1911.01085 ER -