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.

Possibly Related Publications

The following publications are possibly variants of this publication: