Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic.

Peter M. W. Knijnenburg Frank Nordemann Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. 117-146 1994 4 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs4.html#KnijnenburgN94