Research graph
References from On Proof Terms and Embeddings of Classical Substructural Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1093/oso/9780198537618.003.0002
10.1093/oso/9780198537618.003.0002 · External reference
10.1093/oso/9780198537779.003.0003
10.1093/oso/9780198537779.003.0003 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/0304-3975(87)90045-4
10.1016/0304-3975(87)90045-4 · 1987 · External reference
10.1145/96709.96714
10.1145/96709.96714 · External reference
10.1007/bfb0017475
10.1007/bfb0017475 · External reference
Unresolved reference
1988 · External reference
10.1016/0304-3975(89)90100-x
10.1016/0304-3975(89)90100-x · 1989 · External reference
10.2307/2274956
10.2307/2274956 · 1990 · External reference
10.1017/cbo9780511608865
10.1017/cbo9780511608865 · External reference
Unresolved reference
External reference
10.1017/s0027763000010023
10.1017/s0027763000010023 · 1951 · External reference
10.1109/lics.1991.151634
10.1109/lics.1991.151634 · External reference
Unresolved reference
External reference
10.1007/978-1-4613-0609-2_8
10.1007/978-1-4613-0609-2_8 · External reference
10.1093/oso/9780198537779.003.0010
10.1093/oso/9780198537779.003.0010 · External reference
10.1007/bfb0013061
10.1007/bfb0013061 · External reference
10.1109/lics.1993.287602
10.1109/lics.1993.287602 · External reference
10.1007/bfb0022575
10.1007/bfb0022575 · External reference
Unresolved reference
1965 · External reference
10.1007/3-540-57887-0_113
10.1007/3-540-57887-0_113 · External reference
Unresolved reference
External reference
