Pages that link to "Item:Q1978706"
From MaRDI portal
The following pages link to The self-reduction in lambda calculus (Q1978706):
Displaying 9 items.
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- A self-interpreter of lambda calculus having a normal form (Q4283231) (← links)
- <i>Theoretical Pearls</i>Enumerators of lambda terms are reducing (Q4763984) (← links)
- (Q4794072) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- Reducibility Proofs in the λ-Calculus (Q4903716) (← links)
- (Q5224689) (← links)