Pages that link to "Item:Q4283231"
From MaRDI portal
The following pages link to A self-interpreter of lambda calculus having a normal form (Q4283231):
Displaying 12 items.
- Gödelization in the lambda calculus (Q294781) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- The self-reduction in lambda calculus (Q1978706) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- Breaking through the normalization barrier: a self-interpreter for F-omega (Q2828238) (← links)
- (Q5013873) (← links)
- More problems in rewriting (Q5055812) (← links)
- (Q5119396) (← links)
- Lambda-definable term rewriting systems (Q6560356) (← links)