The BC-chain method for representing combinators in linear space. (English) Zbl 0592.68040
Software science and engineering II, Proc. RIMS Symp. 1983/84, Kyoto/Jap., Lect. Notes Comput. Sci. 220, 292-306 (1986).
[For the entire collection see Zbl 0588.00030.]
Also pulished in Software science and engineering, Proc. Symp., Kyoto 1984, RIMS Kokyuroku 547, 268-286 (1985; Zbl 0569.68035).
Also pulished in Software science and engineering, Proc. Symp., Kyoto 1984, RIMS Kokyuroku 547, 268-286 (1985; Zbl 0569.68035).
MSC:
68Q25 | Analysis of algorithms and problem complexity |
03B40 | Combinatory logic and lambda calculus |
68N99 | Theory of software |