Research graph
References from Linear Lambda-Terms and Natural Deduction. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1016/0304-3975(93)90181-r
10.1016/0304-3975(93)90181-r · 1993 · External reference
Unresolved reference
External reference
10.1007/3-540-56992-8_6
10.1007/3-540-56992-8_6 · External reference
Unresolved reference
1981 · External reference
10.1109/lics.1996.561339
10.1109/lics.1996.561339 · External reference
Unresolved reference
1958 · External reference
10.1007/bf01201353
10.1007/bf01201353 · 1934 · External reference
10.1016/0304-3975(87)90045-4
10.1016/0304-3975(87)90045-4 · 1987 · External reference
10.1007/bfb0022247
10.1007/bfb0022247 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/0022-4049(71)90013-2
10.1016/0022-4049(71)90013-2 · 1971 · External reference
10.1109/lics.1992.185536
10.1109/lics.1992.185536 · External reference
10.1109/lics.1995.523280
10.1109/lics.1995.523280 · External reference
10.1007/bf01404107
10.1007/bf01404107 · 1981 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bf01091743
10.1007/bf01091743 · 1978 · External reference
Unresolved reference
External reference
Unresolved reference
1978 · External reference
Unresolved reference
1977 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1995 · External reference
10.1007/bfb0066739
10.1007/bfb0066739 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
1974 · External reference
