scientific article; zbMATH DE number 1405588

MaRDI QIDQ4938567zbMATH OpenFDO

Authors Jaap van Oosten

Publication date 4 July 2000

zbMATH Keywords

combinatory algebra of partial functionsdI-domains with coherencefinite-type functionalsflat domain on the natural numbershypercoherencestype structure

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• The sequentially realizable functionals
• The extensional ordering of the sequential functionals
• Partial combinatory algebras of functions
• Finite type structures within combinatory algebras
• scientific article; zbMATH DE number 4094791

Cited in

(16)

• Finite type structures within combinatory algebras
• 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
• An algebra for finitary ontology or a functionally complete language for the finitary theory of types
• Non-uniform hypercoherences
• A synthetic theory of sequential domains
• scientific article; zbMATH DE number 1531361 (Why is no real title available?)
• The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a \textit{dcpo} for all \(n \in \mathbb N\)
• Embeddings between partial combinatory algebras
• Completions of Kleene's second model
• Computable structure theory of partial combinatory algebras
• A category of arrow algebras for modified realizability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938567)