scientific article

zbMath0583.03029MaRDI QIDQ3708006

No author found.

Publication date: 1984

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

zbMATH Keywords

operational semanticsdenotational semanticscontinuous functionslambda-calculusrecursive functionalscomputable functionalsScott domainstyped languageslimit structuresseparable spacestype structurestype-free languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Ordered topological structures (06F30) Computable structure theory, computable model theory (03C57) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)

Related Items (3)

On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ A category-theoretic characterization of functional completeness ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment

This page was built for publication: