Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19740201902
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.

Add more references

Citations of this work BETA

Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
Consistency of a $\lambda$ -Theory with $N$ -Tuples and Easy Term.Ying Jiang - 1995 - Archive for Mathematical Logic 34 (2):79-96.
Retracts of Numerations.Akira Kanda - 1989 - Annals of Pure and Applied Logic 42 (3):225-242.

Add more citations

Similar books and articles

Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
Moral Individualism: Agent-Relativity and Deontic Restraints.Eric Mack - 1989 - Social Philosophy and Policy 7 (1):81.
Exercising Restraint: Autonomy, Welfare and Elderly Patients.S. Dodds - 1996 - Journal of Medical Ethics 22 (3):160-163.
There is No Safe Pairing Function Over an Arbitrary Structure.Olga Xirotiri - 2006 - Mathematical Logic Quarterly 52 (4):362-366.
What Distinguishes Perception From Hallucination.Brian Paul Mclaughlin - 1981 - Dissertation, The University of North Carolina at Chapel Hill
Restraint Use and Autonomy in Psychiatric Care.C. D. Herrera - 2009 - Journal of Ethics in Mental Health 1 (1):4.
Simple Monadic Theories and Partition Width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.


Added to PP index

Total views
27 ( #425,844 of 2,520,788 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,788 )

How can I increase my downloads?


My notes