Pages that link to "Item:Q1077160"
From MaRDI portal
The following pages link to The BC-chain method for representing combinators in linear space (Q1077160):
Displaying 5 items.
- Translation of Turner combinators in O(n log n) space (Q802308) (← links)
- Complexity of the combinator reduction machine (Q1075052) (← links)
- A fast algorithm for translating combinator expressions with BC-chains (Q1096387) (← links)
- A set of combinators for abstraction in linear space (Q1821553) (← links)
- A template based graph reduction system based on combinators. (Q1848712) (← links)