scientific article
From MaRDI portal
Publication:3766840
zbMath0629.68032MaRDI QIDQ3766840
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
Uses Software