Bounded Linear Logic, Revisited

@inproceedings{Lago2009BoundedLL,
  title={Bounded Linear Logic, Revisited},
  author={Ugo Dal Lago and Martin Hofmann},
  booktitle={TLCA},
  year={2009}
}