scientific article; zbMATH DE number 3870582

MaRDI QIDQ3336679zbMATHFDO

Authors Klaus Indermark

Publication date 1984

Full work available at URL https://eudml.org/doc/92208

zbMATH Keywords

denotational semanticsfunctional calculireduction semanticsrecursive definitionsregular equationstyped combinatorshigher type recursionnon-deterministic operational semanticsRational schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
• n-Rational Algebras I. Basic Properties and Free Algebras
• Algebraic semantics of recursive flowchart schemes

Cites work

• scientific article; zbMATH DE number 3839303 (Why is no real title available?)
• scientific article; zbMATH DE number 3527796 (Why is no real title available?)
• scientific article; zbMATH DE number 3540387 (Why is no real title available?)
• scientific article; zbMATH DE number 3581591 (Why is no real title available?)
• scientific article; zbMATH DE number 3438414 (Why is no real title available?)
• scientific article; zbMATH DE number 3439971 (Why is no real title available?)
• scientific article; zbMATH DE number 3397535 (Why is no real title available?)
• Algebraic semantics
• On rational definitions in complete algebras without rank
• The IO- and OI-hierarchies
• The lambda calculus, its syntax and semantics

Cited in

(1)

• n-Rational Algebras I. Basic Properties and Free Algebras

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