Lambda calculus characterizations of poly-time (0)

by D Leivant, J-Y Marion
Venue:In Typed Lambda Calculi and [LM94] Applications, TLCA ’93