The following pages link to Computer Science Logic (Q5311250):
Displaying 7 items.
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Some properties of inclusions of multisets and contractive Boolean operators (Q2017048) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- (Q4281666) (← links)