scientific article; zbMATH DE number 3550165

MaRDI QIDQ4124312zbMATH OpenFDO

Authors Adi Shamir, W. W. Wadge

Publication date 1977

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(5)

• Rewrite systems on a lattice of types
• A theory of type polymorphism in programming
• The semantics of second-order lambda calculus
• Semantics of algorithmic languages
• The Hoare and Symth power domain constructors commute under composition

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4124312)