A note on the existence of continuous functionals

DOI10.1016/0304-3975(81)90079-7zbMath0479.68056OpenAlexW2066829070MaRDI QIDQ1162153

J. Lawrence Carter, Ronald Fagin

Publication date: 1981

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(81)90079-7

zbMATH Keywords

partial functionsinterpolating functioncontinuous interpolating functionallanguages for functional programmingmonotone interpolating functional

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of computing (68Q99)

Cites Work

• Unnamed Item
• Bases for Chain-complete Posets
• Can programming be liberated from the von Neumann style?