21 citations · 56 across the 6 of their papers we have counts for
7 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 and Conservativity of a Refined Call-by-Value lambda-Calculus
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
We study an extension of Plotkin's call-by-value lambda-calculus via two commutation rules (sigma-reductions). These commutation rules are sufficient to remove harmful call-by-valu…
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…
An Implicit Characterization of PSPACE
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
We present a type system for an extension of lambda calculus with a conditional construction, named STAB, that characterizes the PSPACE class. This system is obtained by extending…
Light Logics and the Call-by-Value Lambda Calculus
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus f…