1 citations · 1 across the 1 of their papers we have counts for
1 paper
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos +1
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logi…