Light Types for Polynomial Time Computation in Lambda-Calculus.

Patrick Baillot, Kazushige Terui

Browse the full LICS paper archive.