Frank A. Bäuerle

1998
2		Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons: Curry-Howard Terms for Linear Logic. Studia Logica 61(2): 223-235 (1998)
1994
1		Frank A. Bäuerle, Jeffrey B. Remmel: On Speedable and Levelable Vector Spaces. Ann. Pure Appl. Logic 67(1-3): 61-112 (1994)

Coauthor Index

1	David W. Albrecht	[2]
2	John N. Crossley	[2]
3	John S. Jeavons	[2]
4	Jeffrey B. Remmel	[1]