Combinatory Reductions and Lambda Reductions Compared

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19770230708

Links

PhilArchive



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

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

Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Mathematical Logic Quarterly 23 (7‐12):169-180.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1976 - Mathematical Logic Quarterly 23 (7-12):1169-180.
Efficient Combinatory Reduction.John Staples - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):391-402.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.
A Note on Morse's Lambda-Notation in Set Theory.Douglas S. Bridges - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):113-114.
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.D. Skordev - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):115-124.
Edward J. Cogan. A formalization of the theory of sets from the point of view of combinatory logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 198–240. - Rainer Titgemeyer. Über einen Widerspruch in Cogans Darstellung der Mengenlehre.Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 161–163. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147.
Cuninghame-Green R. A.. Single primitive ternary connectives for the 2-valued prepositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 206–207.Wheeler Roger F.. Complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 185–198.Wheeler Roger F.. An asymptotic formula for the number of complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 1–4.Wheeler Roger F.. Complete connectives for the 3-vaIued prepositional calculus. Proceedings of the London Mathematical Society, ser. 3 vol. 16 , pp. 167–191. [REVIEW]Arto Salomaa - 1968 - Journal of Symbolic Logic 33 (1):127-128.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Vorwort.Günter Asser & Karl Sehröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):1-2.

Analytics

Added to PP
2016-02-04

Downloads
31 (#504,102)

6 months
2 (#1,448,208)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.

Add more citations

References found in this work

Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.

Add more references