On Speedable and Levelable Vector Spaces. - Frank A. Bäuerle; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1994)

Curry-Howard Terms for Linear Logic. - Frank A. Bäuerle; David W. Albrecht; John N. Crossley; John S. Jeavons (Stud Logica, 1998)