Frank A. Bäuerle

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

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