A Categorical Interpretation of Partial Function Logic and Hoare Logic.

Peter M. W. Knijnenburg, Frank Nordemann

Browse the full LFCS paper archive.