Bob Walters (1943-2015), often called R F C Walters (Robert Frank Carslaw Walters), taught at the University of Sydney and from 1999 at the University of Insubria.
Web biography (not working) InternetArchive
list of publications (not working)
Como Category Theory Archive (not working)
On categorical universal algebra (monads):
On closed bicategories and locally internal categories:
On extensive categories and distributive categories:
Aurelio Carboni, Bob Walters, Cartesian Bicategories, I, Journal of Pure and Applied Algebra, Volume 49, Issues 1–2, November 1987, (doi:10.1016/0022-4049(87)90121-6)
Aurelio Carboni, Max Kelly, Bob Walters, Richard Wood, Cartesian Bicategories II, Theory and Applications of Categories, Vol. 19, 2008, No. 6, pp 93-124. (arXiv:0708.1921, tac)
Piergiulio Katis, Nicoletta Sabadini, Bob Walters, On the algebra of feedback and systems with boundary, Rendiconti del Circolo Matematico di Palermo. (2) Supplemento, 64 (2000), 123–156. (pdf)
Piergiulio Katis, Nicoletta Sabadini, Bob Walters, Bicategories of processes, Journal of Pure and Applied Algebra 115 (1997) 141–178 [doi:10.1016/S0022-4049(96)00012-6, pdf]
Piergiulio Katis, Nicoletta Sabadini, Bob Walters: : A categorical algebra of transition systems, in Michael Johnson (ed.), Algebraic Methodology and Software Technology, AMAST ‘97, Lecture Notes in Computer Science 1349, Springer (1997) 307–321 [doi:10.1007/BFb0000479, ps]
An introductory textbook on category theory for computer science:
Last revised on February 27, 2023 at 10:43:32. See the history of this page for a list of all contributions to it.