| |
| 2001 | ||
|---|---|---|
| 3 | Joëlle Despeyroux, Pierre Leleu: Recursion over objects of functional type. Mathematical Structures in Computer Science 11(4): 555-572 (2001) | |
| 2000 | ||
| 2 | Joëlle Despeyroux, Pierre Leleu: Metatheoretic Results for a Modal lambda-Calculus Journal of Functional and Logic Programming 2000(1): (2000) | |
| 1998 | ||
| 1 | EE | Joëlle Despeyroux, Pierre Leleu: A Modal Lambda Calculus with Iteration and Case Constructs. TYPES 1998: 47-61 |
| 1 | Joëlle Despeyroux | [1] [2] [3] |