Complexity of Normalization in the Pure Typed Lambda – Calculus

This publication has 2 references indexed in Scilit:

• The typed λ-calculus is not elementary recursive
  Theoretical Computer Science, 1979
• Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  Published by Springer Nature ,1973