Logic of Programs 1983: Logics of Programs pp 193-205 | Cite as

Equations in combinatory algebras

  • Erwin Engeler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)


Logic Program Logic Programming Elementary Geometry Combinatory Logic Algorithmic Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Barendregt, H., Lambda Calculus and its Models. To appear in the proceedings of the Logic Colloquium'82, Florence, Italy.Google Scholar
  2. [2]
    Clark, K.L. and Tärnlund, S.-A. (editors), Logic Programming. Academic Press, 1982.Google Scholar
  3. [3]
    Clocksin, W.F. and Mellish, C.S., Programming in Prolog. Springer-Verlag, 1981.Google Scholar
  4. [4]
    Engeler, E., Algebras and Combinators. Algebra Universalis 13 (1981), 389–392.Google Scholar
  5. [5]
    Fehlmann, T., Theorie und Anwendung des Graphmodells der kombinatorischen Logik. Berichte des Instituts für Informatik, ETH Zürich, Nr. 41, 1981.Google Scholar
  6. [6]
    Fehlmann, T., Concat Reference Manual and Implementation Notes. ETH Zürich, 1981, 48 pp.Google Scholar
  7. [7]
    Kowalski, R.A., Logic for Problem Solving. North-Holland Publ. Co., 1979.Google Scholar
  8. [8]
    Longo, G., Set-theoretical Models for the λ-calculus: Theories, Expansions, Isomorphisms. To appear in the Annals of Mathematical Logic.Google Scholar
  9. [9]
    Meyer, A.R., What is a Model of the Lambda Calculus? Preprint MIT/LCS/TM-201, 1981.Google Scholar
  10. [10]
    Plotkin, G.D., A Set-theoretical Definition of Application. Memorandum MIP-R-95, University of Edinburgh, 1972.Google Scholar
  11. [11]
    Scott, D.S., Relating Theories of the λ-calculus. In: Essays on Combinatory Logic, Lambda Calculus and Formalism (to H.B. Curry), Seldin & Hindley, eds. Academic Press, New York, 1980, pp. 403–450.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Erwin Engeler
    • 1
  1. 1.ETH ZurichSwitzerland

Personalised recommendations