scientific article; zbMATH DE number 3648114

MaRDI QIDQ3206309zbMATH OpenFDO

Authors Gerardo Costa, Egidio Astesiano

Publication date 1979

zbMATH Keywords

beta-ruledenotational semanticslanguage of typed lambda expressionsnondeterministic choice operatorsoperational semanticsprogram schemesrecursive proceduressharing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(6)

• A theory for nondeterminism, parallelism, communication, and concurrency
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• The origins of structural operational semantics
• scientific article; zbMATH DE number 3724430 (Why is no real title available?)
• The disjunctive constrained lambda calculus
• Distributive semantics for nondeterministic typed -calculi

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