scientific article; zbMATH DE number 3681750
From MaRDI portal
Publication:3877673
zbMATH Open0437.03025MaRDI QIDQ3877673FDOQ3877673
Authors: Dimiter Skordev
Publication date: 1976
Title of this publication is not available (Why is that?)
Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877673)