scientific article

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.

zbMATH Keywords

semanticstyped lambda calculusnondeterministic languages

Mathematics Subject Classification ID

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

• LCF considered as a programming language
• Fully abstract models of typed \(\lambda\)-calculi
• Power domains
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: