Research graph
References from Lambda Calculus and Intuitionistic Linear Logic. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1990 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1109/lics.1993.287581
10.1109/lics.1993.287581 · 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
Unresolved reference
External reference
Unresolved reference
1980 · External reference
Unresolved reference
External reference
10.1016/0304-3975(88)90100-4
10.1016/0304-3975(88)90100-4 · 1988 · External reference
10.1109/lics.1992.185536
10.1109/lics.1992.185536 · External reference
10.1017/cbo9780511629150.010
10.1017/cbo9780511629150.010 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1965 · External reference
10.1007/3-540-06859-7_148
10.1007/3-540-06859-7_148 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1093/oso/9780198537779.003.0013
10.1093/oso/9780198537779.003.0013 · External reference
10.1007/3-540-58027-1_24
10.1007/3-540-58027-1_24 · External reference
