The λ-calculus is ω-incomplete

Journal of Symbolic Logic 39 (2):313-317 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272645

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The interpretation of unsolvable λ-terms in models of untyped λ-calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
Supplements of bounded permutation groups.Stephen Bigelow - 1998 - Journal of Symbolic Logic 63 (1):89-102.
Review: Gerard Huet, G. Plotkin, Logical Frameworks. [REVIEW]Dusko Pavlovic - 1993 - Journal of Symbolic Logic 58 (4):1469-1472.
Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.
The Weak Normalization of the Simply Typed λse-calculus.Ariel Arbiser, Fairouz Kamareddine & Alejandro Rios - 2007 - Logic Journal of the IGPL 15 (2):121-147.
Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp. [REVIEW]Duško Pavlović - 1993 - Journal of Symbolic Logic 58 (4):1469-1472.
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
The $lambda$-Calculus is $omega$-Incomplete.G. D. Plotkin - 1974 - Journal of Symbolic Logic 39 (2):313-317.
Uncountable dense categoricity in cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829-860.

Analytics

Added to PP
2009-01-28

Downloads
13 (#288,494)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.

Add more citations

References found in this work

No references found.

Add more references