Christian Juul Mikkelsen

• Lattice theoretic and logical aspects of elementary topoi