×

Found 6 Documents (Results 1–6)

100
MathJax

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
Full Text: Link

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
Full Text: Link

Filter Results by …

Document Type

Year of Publication

all top 3

Classification