scientific article; zbMATH DE number 3909726

MaRDI QIDQ3686024zbMATH OpenFDO

Authors Clement A. Baker-Finch

Publication date 1984

zbMATH Keywords

algebraic semanticsdenotational semanticsinitial algebralambda calculusoperational semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• The (algebraic) congruence of two programming language definitions
• Initial algebra semantics for lambda calculi
• From operational to denotational semantics
• The algebraic lambda calculus
• Notions of computation and monads

Cited in

(10)

• Operational and denotational semantics for the box algebra
• Equivalence of formal semantics definition methods
• scientific article; zbMATH DE number 2185665 (Why is no real title available?)
• scientific article; zbMATH DE number 5872263 (Why is no real title available?)
• scientific article; zbMATH DE number 4045729 (Why is no real title available?)
• Storage operators and directed lambda-calculus
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• Semantics of linear/modal lambda calculus
• Initial algebra semantics for lambda calculi
• The (algebraic) congruence of two programming language definitions

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