John S. Jeavons

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

Coauthor Index

1	David W. Albrecht	[1] [3]
2	Frank A. Bäuerle	[3]
3	John N. Crossley	[1] [3]