On sequential functionals of type 3

DOI10.1017/S0960129506005147MaRDI QIDQ5481593zbMATH OpenOpenAlexFDO

Authors Dag Normann

Publication date 10 August 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129506005147

zbMATH Keywords

cpoextensional orderingsequential functionals of pure type 3

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• The extensional ordering of the sequential functionals
• The sequentially realizable functionals
• scientific article; zbMATH DE number 1499102
• Sequentiality in an extensional framework
• scientific article; zbMATH DE number 431771

Cited in

(10)

• Operational domain theory and topology of sequential programming languages
• Natural non-dcpo domains and f-spaces
• Cartesian closed extensions of subcategories of CONT
• The sequentially realizable functionals
• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• On naturally continuous 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 Natural Non-dcpo Domains
• Sequential functions on indexed domains and full abstraction for a sub-language of PCF
• The extensional ordering of the sequential functionals

This page was built for publication: On sequential functionals of type 3

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