Publication:3912004

zbMath0462.68004MaRDI QIDQ3912004

Egidio Astesiano, Gerardo Costa

Publication date: 1980

zbMATH Keywords

lambda calculus; sharing; call by name; call by value; symbolic domains of interpretations

Mathematics Subject Classification ID

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