| |
| 1999 | ||
|---|---|---|
| 4 | Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli: A semantics for lambda calculi with resources. Mathematical Structures in Computer Science 9(4): 437-482 (1999) | |
| 1998 | ||
| 3 | Carolina Lavatelli: Deadlock Sensitive Types for Lambda Calculus with Resources. FSTTCS 1998: 30-41 | |
| 1996 | ||
| 2 | Gérard Boudol, Carolina Lavatelli: Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP 1996: 302-316 | |
| 1 | Carolina Lavatelli: Algebraic Interpretation of Lambda Calculus with Resources. CONCUR 1996: 422-437 | |
| 1 | Gérard Boudol | [2] [4] |
| 2 | Pierre-Louis Curien | [4] |