scientific article; zbMATH DE number 3550165

zbMath0353.68050MaRDI QIDQ4124312

Adi Shamir, William W. Wadge

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

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