The small grzegorczyk classes and the typed λ-calculus

  • Authors:

  • Lars Kristiansen;Mathias Barra

  • Affiliations:

  • Faculty of Engineering, Oslo University College, Oslo, Norway;Department of Mathematics, University of Oslo, Oslo, Norway

  • Venue:
  • CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The class $\Delta^\mathbb{N}_{0}$ of rudimentary relations and the small relational Grzegorczyk classes $\varepsilon^{0}_{*}, \varepsilon^{1}_{*}, \varepsilon^{2}_{*}$ attracted fairly much attention during the latter half of the previous century, e.g. Gandy [6], Paris-Wilkie [20], and numerous others.