Pages that link to "Item:Q5351960"
From MaRDI portal
The following pages link to A model for behavioural properties of higher-order programs (Q5351960):
Displaying 7 items.
- Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341) (← links)
- Evaluation is MSOL compatible (Q2963901) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q5109508) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs (Q5145320) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)