On subrecursiveness in weak combinatory logic

  • Carlo Batini
  • Alberto Pettorossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)


In this paper weak combinatory logic as an algorithmic language is considered and various notions of structural and computational complexity are introduced. Particular attention is devoted to the definitional power of a system of combinators,that is to the concept of “subbase”. Some results concerning the relations between specific subbases and their generative power are presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Curry,H.B., R. Feys, Combinatory logic, vol. 1, North Holland (1974)Google Scholar
  2. [2]
    Ausiello, G., Computational complexity — Main results and a commentary, Séminaires IRIA (1972).Google Scholar
  3. [3]
    Strong,H.R., Depth-bounded computation, J.C.S.S., Vol. 4, n. 1 (1970).Google Scholar
  4. [4]
    Curry, H.B., J.R. Hindley, J.P. Seldin, Combinatory logic, vol. 2, North Holland (1972).Google Scholar
  5. [5]
    Blum, M., On the size of machines, Information and Control 2 (1967).Google Scholar
  6. [6]
    Blum, M., A machine independent theory of the complexity of recursive functions, J.A.C.M. 14 (April 1967).Google Scholar
  7. [7]
    Ausiello, G., Abstract computational complexity and cycling computations, J.C.S.S. Vol. 5 (1971).Google Scholar
  8. [8]
    Barendregt, H., Normed uniformly reflexive structures, (in these proceedings).Google Scholar
  9. [9]
    Böhm, C., W. Gross, Introduction to the CUCH, Automata Theory (ed. Caianiello) N.Y. (1966).Google Scholar
  10. [10]
    Grzegorczyk, A., Some classes of recursive functions, Rozprawy Matematyczne (1953).Google Scholar
  11. [11]
    Rosenbloom, P., The elements of mathematical logic, Dover (1950).Google Scholar
  12. [12]
    Batini, C., A. Pettorossi, Some properties of subbases in weak combinatory logic, Rapporto dell'Istituto di Automatica — Università di Roma (1975).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Carlo Batini
    • 1
    • 2
  • Alberto Pettorossi
    • 1
    • 2
  1. 1.Centro di Studio dei Sistemi di Controllo e Calcolo AutomaticiC.N.R.Roma
  2. 2.Istituto di Automatica dell'Università di RomaItaly

Personalised recommendations