Backhouse, Roland Factor theory and the unity of opposites. (English) Zbl 1355.68180 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 824-846 (2016). MSC: 68Q70 06A15 68W32 PDF BibTeX XML Cite \textit{R. Backhouse}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 824--846 (2016; Zbl 1355.68180) Full Text: DOI OpenURL
Backhouse, Kevin; Backhouse, Roland Safety of abstract interpretations for free, via logical relations and Galois connections. (English) Zbl 1091.68069 Sci. Comput. Program. 51, No. 1-2, 153-196 (2004). MSC: 68Q55 68N30 06A15 PDF BibTeX XML Cite \textit{K. Backhouse} and \textit{R. Backhouse}, Sci. Comput. Program. 51, No. 1--2, 153--196 (2004; Zbl 1091.68069) Full Text: DOI OpenURL
Backhouse, Kevin; Backhouse, Roland Logical relations and Galois connections. (English) Zbl 1073.68570 Boiten, Eerke A. (ed.) et al., Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43857-2). Lect. Notes Comput. Sci. 2386, 23-39 (2002). MSC: 68N30 68N18 06A15 PDF BibTeX XML Cite \textit{K. Backhouse} and \textit{R. Backhouse}, Lect. Notes Comput. Sci. 2386, 23--39 (2002; Zbl 1073.68570) Full Text: Link OpenURL
Backhouse, Roland Chapter 4. Galois connections and fixed point calculus. (English) Zbl 1065.68030 Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 89-148 (2002). MSC: 68N30 06A15 18C50 PDF BibTeX XML Cite \textit{R. Backhouse}, Lect. Notes Comput. Sci. 2297, 89--148 (2002; Zbl 1065.68030) Full Text: Link OpenURL
Backhouse, Roland Pair algebras and Galois connections. (English) Zbl 1341.06004 Inf. Process. Lett. 67, No. 4, 169-175 (1998). MSC: 06A15 06A06 08A70 PDF BibTeX XML Cite \textit{R. Backhouse}, Inf. Process. Lett. 67, No. 4, 169--175 (1998; Zbl 1341.06004) Full Text: DOI Link OpenURL
Backhouse, Roland; van der Woude, Jaap Demonic operators and monotype factors. (English) Zbl 0797.68114 Math. Struct. Comput. Sci. 3, No. 4, 417-433 (1993). MSC: 68Q65 06A15 68Q55 06D10 PDF BibTeX XML Cite \textit{R. Backhouse} and \textit{J. van der Woude}, Math. Struct. Comput. Sci. 3, No. 4, 417--433 (1993; Zbl 0797.68114) Full Text: DOI OpenURL