scientific article; zbMATH DE number 3518773

zbMath0332.02036MaRDI QIDQ4096924

Vladimir Yu. Sazonov

Publication date: 1975

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

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)

Related Items

Expressibility of functionals in D. Scott's LCF language ⋮ Sequential algorithms on concrete data structures ⋮ Towards a theory of parallel algorithms on concrete data structures ⋮ A stable programming language ⋮ Relationships between classes of monotonic functions ⋮ Semantics of algorithmic languages ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin