
On reduction and normalization in the computational core
We study the reduction in a lambdacalculus derived from Moggi's computa...
read it

Factorization in CallbyName and CallbyValue Calculi via Linear Logic (long version)
In each variant of the lambdacalculus, factorization and normalization ...
read it

Intersection Types and (Positive) AlmostSure Termination
Randomized higherorder computation can be seen as being captured by a l...
read it

Factorize Factorization
We present a new technique for proving factorization theorems for compou...
read it

Factorization and Normalization, Essentially
Lambdacalculi come with no fixed evaluation strategy. Different strateg...
read it

Lambda Calculus and Probabilistic Computation
We introduce two extensions of λcalculus with a probabilistic choice op...
read it

Probabilistic Rewriting: Relations between Normalization, Termination, and Unique Normal Forms
We investigate how techniques from Rewrite Theory can help us to study c...
read it
Claudia Faggian
is this you? claim profile