A condition for identifying two elements of whatever model of combinatory logic
The purpose of this work is to show a necessary and sufficient condition by which two combinators (elements of a particular model of combinatory logic) can be identified without introducing contradictions with the axioms of combinatory logic itself.
Unable to display preview. Download preview PDF.
- 1).Böhm, C., Alcune proprietà delle forme β-normali del λ-κ-calcolo. Pubbl. IAC n.696 (1968)Google Scholar
- 2).Curry, H.B., Feys R., Combinatory Logic, North Holland Publishing Company, Amsterdam (1968)Google Scholar
- 3).Rosenbloom, P.C., The Elements of Mathematical Logic, Dover Publication Inc., London (1950)Google Scholar