scientific article; zbMATH DE number 3596800
From MaRDI portal
Publication:4163189
zbMath0384.03009MaRDI QIDQ4163189
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (4)
Varieties of chain-complete algebras ⋮ Computable one-to-one enumerations of effective domains ⋮ Order completion monads ⋮ Admissible representations of effective cpo's
This page was built for publication:
