Pages that link to "Item:Q1652968"
From MaRDI portal
The following pages link to A syntactic view of computational adequacy (Q1652968):
Displaying 9 items.
- Adequacy for a lazy functional language with recursive and polymorphic types (Q1349683) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- On Syntactic versus Computational Views of Approximability (Q4210142) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Computational adequacy via ‘mixed’ inductive definitions (Q5890041) (← links)
- Syntax-guided synthesis with quantitative syntactic objectives (Q6045014) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)