Kohei Honda, Nobuko Yoshida. A Unified Theory of Program Logics: An Approach based on the n-Calculus. In Erol Gelenbe, Samson Abramsky, Vladimiro Sassone, editors, Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008. pages 259-274, British Computer Society, 2008. [doi]
Abstract is missing.