scientific article
From MaRDI portal
Publication:3142162
zbMath0784.68057MaRDI QIDQ3142162
Albert R. Meyer, Val Breazu-Tannen
Publication date: 5 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
