Die van Barendregt

Schopenhauer Jahrbuch:94-94 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

A sufficient condition for completability of partial combinatory algebras.Andrea Asperti & Agata Ciabattoni - 1997 - Journal of Symbolic Logic 62 (4):1209-1214.
Enumerators of lambda terms are reducing constructively.Henk Barendregt - 1995 - Annals of Pure and Applied Logic 73 (1):3-9.
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
On the interpretation of terms without a normal form.H. P. Barendregt - 1971 - Utrecht,: Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6). Edited by H. P. Barendregt.
Wiskunde, mystiek en natuurwetenschappen.Henk Barendregt - 2009 - Filosofie En Praktijk 30 (4):50.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
The abidhamma model of consciousness and its consequences.Henk Barendregt - forthcoming - In M.G.T. Kwee, K.J. Gergen & F. Koshikawa (eds.), Buddhist Psychology: Practice, Research & Theory. Taos Institute Publishing, Taos, New Mexico.
A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.
Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
Book Review. The Lambda-Calculus. H. P. Barendregt(. [REVIEW]Harold Hodes - 1988 - Philosophical Review 97 (1):132-7.
Buddhist phenomenology.Henk Barendregt - 1987
Abrahamson, KA, Downey, RG and Fellows, MR.R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):327.

Analytics

Added to PP
2015-02-05

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references