Publication:4938567
From MaRDI portal
zbMath0939.03018MaRDI QIDQ4938567
Publication date: 4 July 2000
type structure; hypercoherences; combinatory algebra of partial functions; dI-domains with coherence; finite-type functionals; flat domain on the natural numbers
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
18C50: Categorical semantics of formal languages
03D45: Theory of numerations, effectively presented structures
03B40: Combinatory logic and lambda calculus
03D65: Higher-type and set recursion theory
Related Items
Unnamed Item, Embeddings between partial combinatory algebras, A synthetic theory of sequential domains, Parallel and serial hypercoherences, On the computational complexity of Longley's \(H\) functional, The sequentially realizable functionals, Comparing hierarchies of types in models of linear logic, Third-order functionals on partial combinatory algebras, Sequential algorithms and strongly stable functions, Non-Uniform Hypercoherences