Pages that link to "Item:Q1199549"

The following pages link to Inductive data types for predicate transformers (Q1199549):

Displaying 3 items.

• Predicate transformers and higher-order programs (Q672318) (← links)
• A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
• Data refinement, call by value and higher order programs (Q1906039) (← links)