Links und Funktionen

You are here: Home / Publikationen / Bounded Linear Logic, Revisited


Ugo D Lago and Martin Hofmann (2009)

Bounded Linear Logic, Revisited

In: TLCA, pp. 80-94.

We present QBAL, an extension of Girard, Scedrov and Scottʼs bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This$~$ generalization makes bounded linear logic considerably more flexible, while preserving soundness and completeness for polynomial time. In particular, we provide compositional embeddings$~$ of Leivantʼs RRW and Hofmannʼs LFPL into QBAL.

Document Actions