Bruce Lercher. Strong reduction and normal form in combinatory logic. The journal of symbolic logic, vol. 32 , pp. 213–223

Journal of Symbolic Logic 36 (1):171 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271571

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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: Bruce Lercher, Strong Reduction and Normal Form in Combinatory Logic. [REVIEW]Luis E. Sanchis - 1971 - Journal of Symbolic Logic 36 (1):171-171.
Strong Reduction and Normal Form in Combinatory Logic.Bruce Lercher - 1971 - Journal of Symbolic Logic 36 (1):171-171.
Strong reduction and normal form in combinatory logic.Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (2):213-223.
Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 , pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 , pp. 237–239. [REVIEW]Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
Review: Frederic B. Fitch, Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Review: Frederic B. Fitch, The System $CDelta$ of Combinatory Logic. [REVIEW]Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
The decidability of Hindley's axioms for strong reduction.Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (2):237-239.
Fitch Frederic B.. Elements of combinatory logic. Yale University Press, New Haven and London 1974, viii + 162 pp. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Strong Reduction of Combinatory Calculus with Streams.Koji Nakazawa & Hiroto Naya - 2015 - Studia Logica 103 (2):375-387.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Axioms for strong reduction in combinatory logic.Roger Hindley - 1967 - Journal of Symbolic Logic 32 (2):224-236.
Hindley Roger. Axioms for strong reduction in combinatory logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1975 - International Studies in Philosophy 7:203-203.

Analytics

Added to PP
2016-06-30

Downloads
15 (#953,911)

6 months
7 (#441,920)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references