Pages that link to "Item:Q5313717"
From MaRDI portal
The following pages link to Denotational aspects of untyped normalization by evaluation (Q5313717):
Displaying 9 items.
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Intuitionistic model constructions and normalization proofs (Q2785696) (← links)
- The simple type theory of normalisation by evaluation (Q2841227) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Operational aspects of untyped Normalisation by Evaluation (Q4818938) (← links)
- Functional and Logic Programming (Q5308026) (← links)
- Foundations of Software Science and Computation Structures (Q5308449) (← links)
- Denotational aspects of untyped normalization by evaluation (Q5313717) (← links)