Functional Interpretations of Intuitionistic Linear Logic

Gilda Ferreira, Paulo Oliva

We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic lo…