Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic (1993)

Cached

Download Links

by Peter Knijnenburg , Frank Nordemann
Citations:1 - 0 self