Blar i Bergen Open Research Archive på forfatter "Haeusler, Edward Hermann"
-
Indexed and Fibred Structures for Hoare Logic
Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (Journal article; Peer reviewed, 2020)Indexed and fibred categorical concepts are widely used in computer science as models of logical systems and type theories. Here we focus on Hoare logic and show that a comprehensive categorical analysis of its axiomatic ...