scientific article

zbMath0546.68018MaRDI QIDQ3336679

Klaus Indermark

Publication date: 1984

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

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

zbMATH Keywords

denotational semanticsrecursive definitionsreduction semanticsfunctional calculiregular equationstyped combinatorshigher type recursionnon-deterministic operational semanticsRational schemes

Mathematics Subject Classification ID

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

Cites Work

• The lambda calculus, its syntax and semantics
• Algebraic semantics
• The IO- and OI-hierarchies
• On rational definitions in complete algebras without rank
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: