scientific article; zbMATH DE number 218553
From MaRDI portal
Publication:4694257
zbMath0784.03028MaRDI QIDQ4694257
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (1)
This page was built for publication:
