scientific article; zbMATH DE number 3993543
From MaRDI portal
Publication:4722040
zbMath0614.03017MaRDI QIDQ4722040
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
