Galois connections and computer science applications

This publication has 8 references indexed in Scilit:

• Galois connections
  Published by Springer Nature ,1986
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• Continuous lattices
  Lecture Notes in Mathematics, 1972
• Beiträge zur Filtertheorie. II
  Mathematische Nachrichten, 1953
• Bemerkungen überGalois-Verbindungen
  Archiv der Mathematik, 1952
• Galois connexions
  Transactions of the American Mathematical Society, 1944