scientific article
From MaRDI portal
Publication:3894946
zbMath0448.68003MaRDI QIDQ3894946
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lambda-calculusfixed-point operatorscontrol structures of programming languagesdefinability of functions and objectstype-free programmingtyped concepts
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
