Pages that link to "Item:Q2866336"

The following pages link to Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336):

Displaying 2 items.

• A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
• Second-Order Programs with Preconditions (Q3058455) (← links)