Pages that link to "Item:Q750415"
From MaRDI portal
The following pages link to Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic (Q750415):
Displaying 8 items.
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- Completeness of transfinite evaluation in an extension of the lambda calculus (Q3765742) (← links)
- Two-Level Functional Languages (Q4023587) (← links)
- (Q4449007) (← links)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic (Q4627723) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- (Q5465434) (← links)