scientific article; zbMATH DE number 1497730
From MaRDI portal
Publication:4499139
zbMath0958.68097MaRDI QIDQ4499139
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)
This page was built for publication: