Combinatory Reductions and Lambda Reductions Compared

Mathematical Logic Quarterly 23 (7-12):1169-180 (1976)
  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: 91,349

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 - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
A strong normalization result for classical logic.Franco Barbanera & Stefano Berardi - 1995 - Annals of Pure and Applied Logic 76 (2):99-116.
On adding (ξ) to weak equality in combinatory logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
Strong Reduction of Combinatory Calculus with Streams.Koji Nakazawa & Hiroto Naya - 2015 - Studia Logica 103 (2):375-387.
Interpretierte Theorien und Reduktionen.Ulrich Albert - unknown
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luis Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Laying bare the phenomenal field: The reductions as ways to pure consciousness: Section II, chapter 4, The phenomenological reductions.Sebastian Luft - 2015 - In Andrea Sebastiano Staiti (ed.), Commentary on Husserl's "Ideas I". Boston: De Gruyter. pp. 133-158.
Combinatory reduction systems.Jan Willem Klop - 1980 - Amsterdam: Mathematisch centrum.
Administrative Decision Making in Response to Sudden Health Care Agency Funding Reductions: is there a role for ethics?Donna M. Wilson - 1998 - Nursing Ethics 5 (4):319-329.
NP-Completeness of a Combinator Optimization Problem.M. S. Joy & V. J. Rayward-Smith - 1995 - Notre Dame Journal of Formal Logic 36 (2):319-335.
Response to Tudor: Remorse-based Sentence Reductions in Theory and Practice.Richard L. Lippke - 2008 - Criminal Law and Philosophy 2 (3):259-268.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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

No references found.

Add more references