Shelly L. Wismath

• Galois connections and applications
• Universal algebra and applications in theoretical computer science