scientific article; zbMATH DE number 1405588

zbMATH Open0939.03018MaRDI QIDQ4938567FDOQ4938567

Jaap van Oosten

Publication date: 4 July 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

type structurehypercoherencescombinatory algebra of partial functionsdI-domains with coherencefinite-type functionalsflat domain on the natural numbers

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• An algebra for finitary ontology or a functionally complete language for the finitary theory of types
• A synthetic theory of sequential domains
• Third-order functionals on partial combinatory algebras
• The sequentially realizable functionals
• Non-uniform hypercoherences
• Sequential algorithms and strongly stable functions
• Comparing hierarchies of types in models of linear logic
• On the computational complexity of Longley's \(H\) functional
• Parallel and serial hypercoherences
• Embeddings between partial combinatory algebras

   Recommendations

• The sequentially realizable functionals 👍 👎
• The extensional ordering of the sequential functionals 👍 👎
• Partial combinatory algebras of functions 👍 👎
• Finite type structures within combinatory algebras 👍 👎
• Title not available (Why is that?) 👍 👎

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)