Pages that link to "Item:Q1401941"
From MaRDI portal
The following pages link to Term rewriting for normalization by evaluation. (Q1401941):
Displayed 6 items.
- Program extraction from normalization proofs (Q817701) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- A compiled implementation of normalisation by evaluation (Q2913943) (← links)
- A Compiled Implementation of Normalization by Evaluation (Q3543648) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)