Pages that link to "Item:Q4302334"

The following pages link to Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334):

Displaying 2 items.

• Indexed and fibred structures for Hoare logic (Q2219084) (← links)
• Indexed and fibered structures for partial and total correctness assertions (Q5889306) (← links)