Predicate-Transformer Semantics of General Recursion

Wim H. Hesselink. Predicate-Transformer Semantics of General Recursion. Acta Informatica, 26(4):309-332, 1989.

Abstract

Abstract is missing.