scientific article; zbMATH DE number 3628344

zbMath0404.68008MaRDI QIDQ4190093

Akira Kanda

Publication date: 1979

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

zbMATH Keywords

Programming LanguagesDenotational SemanticsRecursive Domain Equations

Mathematics Subject Classification ID

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

Related Items (9)

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

This page was built for publication: