Pages that link to "Item:Q1330667"

The following pages link to A recursion theorem for predicate transformers on inductive data types (Q1330667):

Displaying 2 items.

• Predicate transformers and higher-order programs (Q672318) (← links)
• Data refinement, call by value and higher order programs (Q1906039) (← links)