Light Types for Polynomial Time Computation in Lambda-Calculus.

Published in: LICS (2004)

Keyphrases