scientific article; zbMATH DE number 1479646

MaRDI QIDQ4490763zbMATH OpenFDO

Authors Marcello M. Bonsangue, Joost N. Kok

Publication date 20 July 2000

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A relation-algebraic approach to multirelations and predicate transformers
• The closure operator in a multi-valued logic based on functional equations
• scientific article; zbMATH DE number 4189691
• scientific article; zbMATH DE number 64169
• Context-sensitive transitive closure operators
• Closure operators with predicate branching
• scientific article; zbMATH DE number 2162209
• Predicate transformers and higher-order programs
• Closure operators associated with relations
• Monotone Predicate Transformers as Up-Closed Multirelations

Cited in

(5)

• Type theories and object-oriented programmimg
• Duality beyond sober spaces: Topological spaces and observation frames
• Type extensions
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• scientific article; zbMATH DE number 814802 (Why is no real title available?)

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