Research graph
References from Curry-Howard Terms for Linear Logic. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bfb0037099
10.1007/bfb0037099 · 1993 · External reference
10.1007/978-1-4612-0325-4_8
10.1007/978-1-4612-0325-4_8 · 1993 · External reference
Unresolved reference
1969 · External reference
Unresolved reference
External reference
10.1016/0304-3975(87)90045-4
10.1016/0304-3975(87)90045-4 · 1987 · External reference
Unresolved reference
External reference
Unresolved reference
1990 · External reference
Unresolved reference
1980 · External reference
10.2307/2271658
10.2307/2271658 · 1967 · External reference
Unresolved reference
1992 · External reference
