scientific article
From MaRDI portal
Publication:3206309
zbMath0416.68033MaRDI QIDQ3206309
Gerardo Costa, Egidio Astesiano
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsdenotational semanticsrecursive proceduressharingprogram schemesbeta-rulelanguage of typed lambda expressionsnondeterministic choice operators
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency ⋮ The origins of structural operational semantics ⋮ Unnamed Item ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax.