Linear Types and Non-Size-Increasing Polynomial Time Computation (1998)

by Martin Hofmann
Venue:Information and Computation