Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Peter M. W. Knijnenburg, Frank Nordemann. Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. Mathematical Structures in Computer Science, 4(2):117-146, 1994.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL