Pages that link to "Item:Q2828238"
From MaRDI portal
The following pages link to Breaking through the normalization barrier: a self-interpreter for F-omega (Q2828238):
Displaying 5 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- A self-interpreter of lambda calculus having a normal form (Q4283231) (← links)
- (Q4625694) (← links)
- Refutation of Sallé's longstanding conjecture (Q5111316) (← links)