Light types for polynomial time computation in lambda-calculus | IEEE Conference Publication | IEEE Xplore