Roland Backhouse

Roland Backhouse

Roland Backhouse joined the School of Computer Science in September 1999. He retired in November 2013 and is now an emeritus professor. (So he is not as young as the photograph might suggest!) He continues to do some research and to publish occasionally. His research interests include mathematics of program construction, calculus of relations, category theory, mathematical method, generic programming, and on-line document preparation systems oriented to the needs of authors of mathematical documents.

Back to all authors

Books Authored by Roland Backhouse

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
Introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.
Publication date: 01 Oct 2001
 
Galois Connections and Fixed Point Calculus

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
Introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.
Publication date: 01 Oct 2001


[No longer freely available] Algorithmic Problem Solving

Post date: 01 Oct 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006
Document Type: Book
 
[No longer freely available] Algorithmic Problem Solving

[No longer freely available] Algorithmic Problem Solving

Post date: 01 Oct 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006
Document Type: Book


Book Categories
Sponsors