Informa (Italy)

most citedA Novel Micro-service Based Platform for Composition, Deployment and Execution of BDA Applications

3 citations

researchers with a paper here

Anastasia Veneti1 · h 11
A. Saurin1 · h 14
Davide Dalle Carbonare1 · h 3
Davide Profeta1 · h 2
D. Messina1 · h 3
Nicola Masi1 · h 3
S. Bonura1 · h 5
S. D. Rocca1 · h 24
V. Morreale1 · h 6
Yiorgos Stavrinos1 · h 2

collaborating institutions

ATA Engineering (United States)US1 paper
Athens University of Economics and BusinessGR1 paper
Centre National de la Recherche ScientifiqueFR1 paper
Engineering (Italy)IT1 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

Showing cs.LOShow all

1 paper · 1 filter

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…