A condition for identifying two elements of whatever model of combinatory logic

  • G. Jacopini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)


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.

Unable to display preview. Download preview PDF.


  1. 1).
    Böhm, C., Alcune proprietà delle forme β-normali del λ-κ-calcolo. Pubbl. IAC n.696 (1968)Google Scholar
  2. 2).
    Curry, H.B., Feys R., Combinatory Logic, North Holland Publishing Company, Amsterdam (1968)Google Scholar
  3. 3).
    Rosenbloom, P.C., The Elements of Mathematical Logic, Dover Publication Inc., London (1950)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • G. Jacopini
    • 1
  1. 1.Istituto per le Applicazioni del CalcoloIAC - CNRRoma

Personalised recommendations