Topological incompleteness and order incompleteness of the lambda calculus

DOI10.1145/772062.772067zbMath1407.03014OpenAlexW1991093042MaRDI QIDQ5267435

Antonino Salibra

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10278/13809

zbMATH Keywords

lambda calculustopological modelspartially ordered modelslambda theoriesorder and topological incompletenessorderability/unorderability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (7)

Easy lambda-terms are not always simple ⋮ Easiness in graph models ⋮ Graph lambda theories ⋮ a-Logic With Arrows ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ On the completeness of order-theoretic models of the \(\lambda \)-calculus ⋮ Effective λ-models versus recursively enumerable λ-theories

This page was built for publication: Topological incompleteness and order incompleteness of the lambda calculus