Completeness of transfinite evaluation in an extension of the lambda calculus

DOI10.2307/2273881zbMath0629.03004OpenAlexW2013113230MaRDI QIDQ3765742

Luis E. Sanchis

Publication date: 1987

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273881

zbMATH Keywords

completenesssemanticslambda-calculustransfinite inductionmonotonic functionals

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other model constructions (03C30)

Related Items (1)

Structured meanings and reflexive domains

Cites Work

• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

This page was built for publication: Completeness of transfinite evaluation in an extension of the lambda calculus