scientific article
From MaRDI portal
Publication:3877673
zbMath0437.03025MaRDI QIDQ3877673
Publication date: 1976
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)
Related Items (1)
This page was built for publication: