1 citations · 1 across the 2 of their papers we have counts for
4 papers
Intersection Types and (Positive) Almost-Sure Termination
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice…
Lambda Calculus and Probabilistic Computation
Claudia Faggian, Simona Ronchi della Rocca
We introduce two extensions of the -calculus with a probabilistic choice operator, and , modeling respectively call-by-value and call-by-name pr…
Standardization in resource lambda-calculus
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction…
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…