scientific article; zbMATH DE number 3518773

MaRDI QIDQ4096924zbMATH OpenFDO

Authors Vladimir Yu. Sazonov

Publication date 1975

Mathematics Subject Classification ID

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

Cited in

(7)

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

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 Q4096924)