Soft lambda-Calculus: A Language for Polynomial Time Computation.

Patrick Baillot, Virgile Mogbil

Browse the full FOSSACS paper archive.