scientific article

zbMath0469.03007MaRDI QIDQ3922647

No author found.

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

Related Items

Sequential algorithms on concrete data structures, On combinatory algebras and their expansions