scientific article; zbMATH DE number 3628344

MaRDI QIDQ4190093zbMATH OpenFDO

Authors Akira Kanda

Publication date 1979

zbMATH Keywords

Denotational SemanticsProgramming LanguagesRecursive Domain Equations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(9)

• Algebraic domain equations
• An effectively given initial semigroup
• Universal profinite domains
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Domain theory in logical form
• Some economic applications of Scott domains
• Infinite hypergraphs. I: Basic properties
• Continuously generated fixed points
• Decomposition of domains

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