LFCS
1994
Springer
13 years 9 months ago
1994
Springer
LFCS
1994
Springer
13 years 9 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
LFCS
1994
Springer
13 years 9 months ago
1994
Springer
LFCS
1994
Springer
13 years 9 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
LFCS
1994
Springer
13 years 9 months ago
1994
Springer
