Completeness of transfinite evaluation in an extension of the lambda calculus

Journal of Symbolic Logic 52 (1):243-275 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273881

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

Review: Luis E. Sanchis, Recursive Functionals. [REVIEW]Peter G. Hinman - 1993 - Journal of Symbolic Logic 58 (4):1468-1469.
Review: Luis E. Sanchis, Types in Combinatory Logic. [REVIEW]Jean Ladriere - 1967 - Journal of Symbolic Logic 32 (3):420-421.
Review: Luis E. Sanchis, Set Theory -- An Operational Approach. [REVIEW]J. P. Mayberry - 1998 - Journal of Symbolic Logic 63 (2):751-752.
Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 161–180.Jean Ladrière - 1967 - Journal of Symbolic Logic 32 (3):420-421.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Luis E. Sanchis. Recursive functional. Studies in logic and the foundations of mathematics, vol. 131. North-Holland, Amsterdam etc. 1992, xii + 277 pp. [REVIEW]Peter G. Hinman - 1993 - Journal of Symbolic Logic 58 (4):1468-1469.
Luis E. Sanchis. Set theory—an operational approach. Gordon and Breach Science Publishers, Amsterdam etc. 1996, xvi + 279 pp. [REVIEW]J. P. Mayberry - 1998 - Journal of Symbolic Logic 63 (2):751-752.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Review: Luis Elpidio Sanchis, Neuva Demonstracion de la Completicidad Funcional del Calculo Proposicional Bivalente. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-471.
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.

Analytics

Added to PP
2009-01-28

Downloads
21 (#173,985)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Structured meanings and reflexive domains.Serge Lapierre - 1992 - Studia Logica 51 (2):215 - 239.

Add more citations

References found in this work

Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
The Calculi of Lambda-Conversion.Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.

Add more references