scientific article; zbMATH DE number 3870582

zbMATH Open0546.68018MaRDI QIDQ3336679FDOQ3336679

Authors: Klaus Indermark 

Publication date: 1984

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

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cites Work

• The IO- and OI-hierarchies
• The lambda calculus, its syntax and semantics
• Algebraic semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On rational definitions in complete algebras without rank
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)