The following pages link to (Q3024833):
Displaying 8 items.
- Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Q1078543) (← links)
- Scheme: A interpreter for extended lambda calculus (Q1290339) (← links)
- Lambda terms definable as combinators (Q1349878) (← links)
- Theorem proving modulo (Q1431339) (← links)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic (Q4627723) (← links)
- (Q4856946) (← links)
- (Q5224689) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)