Linear types and non-size-increasing polynomial time computation | IEEE Conference Publication | IEEE Xplore