Publication:3206309
From MaRDI portal
zbMath0416.68033MaRDI QIDQ3206309
Egidio Astesiano, Gerardo Costa
Publication date: 1979
operational semantics; denotational semantics; recursive procedures; sharing; program schemes; beta-rule; language of typed lambda expressions; nondeterministic choice operators
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items
Distributive semantics for nondeterministic typed \(\lambda\)-calculi, 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, Unnamed Item