Lambda calculus characterizations of poly-time,” Fundam (1993)

by D Leivant, J-Y Marion
Venue:in LICS, 2011