Pages that link to "Item:Q5313717"
From MaRDI portal
The following pages link to Denotational aspects of untyped normalization by evaluation (Q5313717):
Displaying 4 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)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Denotational aspects of untyped normalization by evaluation (Q5313717) (← links)
