Publication:4108313
From MaRDI portal
zbMath0341.02035MaRDI QIDQ4108313
Publication date: 1976
03D30: Other degrees and reducibilities in computability and recursion theory
03D99: Computability and recursion theory
03B40: Combinatory logic and lambda calculus
Related Items
On the expressive power of first-order boolean functions in PCF, Natural non-dcpo domains and f-spaces, Degrees of parallelism in the continuous type hierarchy, Relative definability of boolean functions via hypergraphs, The sequentially realizable functionals, Computation on abstract data types. The extensional approach, with an application to streams, A stable programming language