Expressibility of functionals in D. Scott's LCF language

DOI10.1007/BF01876321MaRDI QIDQ599804zbMATHFDO

Authors Vladimir Yu. Sazonov

Publication date 1977

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/186928

zbMATH Keywords

combinatory logiceffectively sequential functionalsrepresentable functionals

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(12)

• Fully abstract translations between functional languages
• A stable programming language
• Semantics of algorithmic languages
• The extensional ordering of the sequential functionals
• Full abstraction and the Context Lemma (preliminary report)
• A universality theorem for PCF with recursive types, parallel-or and ∃
• Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus
• On Natural Non-dcpo Domains
• The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a \textit{dcpo} for all \(n \in \mathbb N\)
• On naturally continuous non-dcpo domains
• Natural non-dcpo domains and f-spaces
• The recursion hierarchy for PCF is strict

This page was built for publication: Expressibility of functionals in D. Scott's LCF language

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