The following pages link to Bruce Lercher (Q1224572):
Displaying 6 items.
- Lambda-calculus terms that reduce to themselves (Q1224573) (← links)
- (Q4070825) (← links)
- Strong reduction and normal form in combinatory logic (Q5532527) (← links)
- The decidability of hindley's axioms for strong reduction (Q5532529) (← links)
- A Short Proof of Curry's Normal Form Theorem (Q5590804) (← links)
- (Q5686017) (← links)
