Pointfree Topology, Category Theory, Quantales, Commutative Ring Theory
University of Coimbra
Institution: University of Edinburgh
Year: 2020