Systems of transfinite types involving λ-conversion

Publisher： Cambridge University Press

E-ISSN： 1943-5886|18|3|209-224

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.18, Iss.3, 1953-09, pp. : 209-224

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

The þ-function in λ-K-conversion

By  

The Journal of Symbolic Logic, Vol. 2, Iss. 4, 1937-12 ,pp. : 164-164

Cambridge University Press

Access to resources Recommend Favorite

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

By  

The Journal of Symbolic Logic, Vol. 31, Iss. 3, 1966-09 ,pp. : 325-358

Cambridge University Press

Access to resources Recommend Favorite

On inverse γ-systems and the number of L ∞λ-equivalent, non-isomorphic models for λ singular

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 1, 2000-03 ,pp. : 272-284

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

Rearranging transfinite series of ordinals

By  

Bulletin of the Australian Mathematical Society, Vol. 16, Iss. 3, 1977-06 ,pp. : 321-323

Cambridge University Press

Access to resources Recommend Favorite