Lambda calculus characterizations of poly-time (1993)

by Daniel Leivant, Jean-Yves Marion
Venue:Fundamenta Informaticae