arXiv 2003-12-07 EN Soft lambda-calculus: a language for polynomial time computation Baillot, Patrick · Mogbil, Virgile
