1 paper
Nathaniel Glover, Jan Hoffmann
Hofmann (1999) introduced the functional programming language LFPL to characterize the functions computable in polynomial time using an affine type system. LFPL enables a natural p…