A syntactical analysis of non-size-increasing polynomial time computation | IEEE Conference Publication | IEEE Xplore