7 search results - page 1 / 2 » rta 1995 |
157
Voted
RTA
1995
Springer
15 years 11 months ago
1995
Springer
141
Voted
RTA
1995
Springer
15 years 11 months ago
1995
Springer
142
Voted
RTA
1995
Springer
15 years 11 months ago
1995
Springer
148
Voted
RTA
1995
Springer
15 years 11 months ago
1995
Springer
179
Voted
RTA
1995
Springer
15 years 11 months ago
1995
Springer
In this paper we study normalization properties of rewrite systems that are typeable using intersection types with and with sorts. We prove two normalization properties of typeable...