Lambda Calculus Characterizations of Poly-Time

Daniel Leivant, Jean-Yves Marion. Lambda Calculus Characterizations of Poly-Time. Fundamenta Informaticae, 19(1/2):167-184, 1993.

Abstract

Abstract is missing.