Full Abstraction for Lambda Calculus with Resources and Convergence Testing. - Gérard Boudol; Carolina Lavatelli (CAAP, 1996)

Algebraic Interpretation of Lambda Calculus with Resources. - Carolina Lavatelli (CONCUR, 1996)

Deadlock Sensitive Types for Lambda Calculus with Resources. - Carolina Lavatelli (FSTTCS, 1998)

A semantics for lambda calculi with resources. - Gérard Boudol; Pierre-Louis Curien; Carolina Lavatelli (Math. Struct. Comput. Sci., 1999)