scientific article; zbMATH DE number 1405588
From MaRDI portal
Publication:4938567
zbMath0939.03018MaRDI QIDQ4938567
Publication date: 4 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
type structurehypercoherencescombinatory algebra of partial functionsdI-domains with coherencefinite-type functionalsflat domain on the natural numbers
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Theory of numerations, effectively presented structures (03D45) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)
Related Items (10)
Comparing hierarchies of types in models of linear logic ⋮ Embeddings between partial combinatory algebras ⋮ A synthetic theory of sequential domains ⋮ Unnamed Item ⋮ On the computational complexity of Longley's \(H\) functional ⋮ Non-Uniform Hypercoherences ⋮ Parallel and serial hypercoherences ⋮ Sequential algorithms and strongly stable functions ⋮ The sequentially realizable functionals ⋮ Third-order functionals on partial combinatory algebras
This page was built for publication:
