scientific article
From MaRDI portal
Publication:3912568
zbMath0463.03024MaRDI QIDQ3912568
Gerardo Costa, Egidio Astesiano
Publication date: 1980
Full work available at URL: https://eudml.org/doc/92130
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) 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 (4)
The origins of structural operational semantics ⋮ A relational account of call-by-value sequentiality ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ Observational program calculi and the correctness of translations
Cites Work
This page was built for publication: