Text this: Functional Interpretations of Intuitionistic Linear Logic