2 search results - page 1 / 1 » The Undecidability of Type Related Problems in Type-free Sty... |
RTA
2010
Springer
13 years 3 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
PPDP
2010
Springer
13 years 3 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...