Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic
Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129500000414
Full Text
Open PDFAbstract
Available in full text
Date
June 1, 1994
Authors
Publisher
Cambridge University Press (CUP)