330 search results - page 6 / 66 » Intersection and Union Types |
GC
2006
Springer
13 years 7 months ago
2006
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
TFS
2008
13 years 7 months ago
2008
In this paper, the notion termed a "nonstationary fuzzy set" is introduced, and the concept of a perturbation function that is used for generating nonstationary fuzzy set...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
ENTCS
2002
13 years 7 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...