Carolina Lavatelli

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli
A semantics for lambda calculi with resources. Math. Struct. Comput. Sci. 9 (4) (1999)
Carolina Lavatelli
Deadlock Sensitive Types for Lambda Calculus with Resources. FSTTCS (1998)
Carolina Lavatelli
Algebraic Interpretation of Lambda Calculus with Resources. CONCUR (1996)
Gérard Boudol, Carolina Lavatelli
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP (1996)