![]() | ![]() |
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) |
1 | David W. Albrecht | [1] [3] |
2 | Frank A. Bäuerle | [3] |
3 | John N. Crossley | [1] [3] |