Informa (Italy)

most citedIntersection Logic in sequent calculus style

1 citations

researchers with a paper here

Alexis Saurin1
Anastasia Veneti1
Simona Ronchi Della Rocca1
Yiorgos Stavrinos1

collaborating institutions

Athens University of Economics and BusinessGR1 paper
Centre National de la Recherche ScientifiqueFR1 paper
Institut national de recherche en sciences et technologies du numériqueFR1 paper
National and Kapodistrian University of AthensGR1 paper
University of TurinIT1 paper
University of West AtticaGR1 paper

1 paper

cs.LO2011★ 1 cited

Intersection Logic in sequent calculus style

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…