- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |