Combinatory logic

Amsterdam,: North-Holland Pub. Co. (1958)
  Copy   BIBTEX

Abstract

CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Combinatory reduction systems.Jan Willem Klop - 1980 - Amsterdam: Mathematisch centrum.
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Introduction to combinatory logic.Sören Stenlund - 1971 - Uppsala,: Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen.
The combinatory programme.Erwin Engeler (ed.) - 1995 - Boston: Birkhäuser.

Analytics

Added to PP
2009-09-15

Downloads
95 (#174,447)

6 months
13 (#158,624)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Towards a variable-free semantics.Pauline Jacobson - 1999 - Linguistics and Philosophy 22 (2):117-185.
Is reality fundamentally qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.
The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 74 citations / Add more citations

References found in this work

No references found.

Add more references