John S. Jeavons

Publication Activity (10 Years)

Years Active: 1997-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)
John S. Jeavons
An Alternative Linear Semantics for Allowed Logic Programs. Ann. Pure Appl. Log. 84 (1) (1997)
David W. Albrecht, John N. Crossley, John S. Jeavons
New Curry-Howard Terms for Full Linear Logic. Theor. Comput. Sci. 185 (2) (1997)