Mathias Kegelmann

• Continuous domains in logical form