On sequential functionals of type 3

DOI10.1017/S0960129506005147zbMath1097.03040OpenAlexW2163554063MaRDI QIDQ5481593

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

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

Related Items (7)

Cartesian closed extensions of subcategories of CONT ⋮ On naturally continuous non-dcpo domains ⋮ On Natural Non-dcpo Domains ⋮ Operational domain theory and topology of sequential programming languages ⋮ Natural non-dcpo domains and f-spaces ⋮ The extensional ordering of the sequential functionals ⋮ The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$

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