The interpretation of unsolvable λ-terms in models of untyped λ-calculus

E-ISSN： 1943-5886|63|4|1529-1548

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.63, Iss.4, 1998-12, pp. : 1529-1548

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A characterization of terms of the λI-calculus having a normal form

The Journal of Symbolic Logic, Vol. 38, Iss. 3, 1973-09 ,pp. : 441-445

Cambridge University Press

Access to resources Recommend Favorite

The λ-calculus is ω-incomplete

The Journal of Symbolic Logic, Vol. 39, Iss. 2, 1974-06 ,pp. : 313-317

Cambridge University Press

Access to resources Recommend Favorite

Exact bounds for lengths of reductions in typed λ-calculus

The Journal of Symbolic Logic, Vol. 66, Iss. 3, 2001-09 ,pp. : 1277-1285

Cambridge University Press

Access to resources Recommend Favorite

A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language

The Journal of Symbolic Logic, Vol. 76, Iss. 2, 2011-06 ,pp. : 673-699

Cambridge University Press

Access to resources Recommend Favorite

Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters

By Minari Pierluigi

Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. : 385-424

Springer Publishing Company

Access to resources Recommend Favorite