scientific article; zbMATH DE number 554485

zbMath0802.18006MaRDI QIDQ4288287

Stephen Brookes, Shai Geva

Publication date: 15 December 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computationsparallel algorithmsprogramming languagesCartesian closed categorycomonadScott domainssimply typed \(\lambda\)-calculusintensional semanticsco-Kleisli construction

Mathematics Subject Classification ID

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

Related Items (2)

Continuous functions and parallel algorithms on concrete data structures ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin

This page was built for publication: