scientific article; zbMATH DE number 554485

MaRDI QIDQ4288287zbMATH OpenFDO

Authors Stephen Brookes, Shai Geva

Publication date 15 December 1994

zbMATH Keywords

Cartesian closed categoryco-Kleisli constructioncomonadcomputationsintensional semanticsparallel algorithmsprogramming languagesScott domainssimply typed \(\lambda\)-calculus

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Distributed algorithms (68W15)

Recommendations

• Continuous functions and parallel algorithms on concrete data structures
• scientific article; zbMATH DE number 431759
• Towards a theory of parallel algorithms on concrete data structures
• scientific article; zbMATH DE number 139984

Cited in

(6)

• Towards a theory of parallel algorithms on concrete data structures
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• On the semantics of intensionality
• scientific article; zbMATH DE number 4007695 (Why is no real title available?)
• Continuous functions and parallel algorithms on concrete data structures
• Intensional and extensional semantics of dataflow programs

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 Q4288287)