Publication:4131618
From MaRDI portal
zbMath0359.68017MaRDI QIDQ4131618
Robert L. Constable, Herbert Egli
Publication date: 1975
03D20: Recursive functions and relations, subrecursive hierarchies
68N01: General topics in the theory of software
03B99: General logic
Related Items
\(\mathbb{T}^\omega\) as a universal domain, Categories of chain-complete posets, Power domains, Formal computations of non deterministic recursive program schemes