| |
| 2007 | ||
|---|---|---|
| 6 | EE | Sylvain Lippi: Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. Electr. Notes Theor. Comput. Sci. 72(1): 75-86 (2007) |
| 5 | EE | Sylvain Lippi: The graphical Krivine machine. Higher-Order and Symbolic Computation 20(3): 295-318 (2007) |
| 2002 | ||
| 4 | EE | Sylvain Lippi: in2 : A Graphical Interpreter for Interaction Nets. RTA 2002: 380-386 |
| 3 | Sylvain Lippi: Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. Mathematical Structures in Computer Science 12(6): 797-822 (2002) | |
| 1999 | ||
| 2 | Isabelle Attali, Denis Caromel, Sylvain Lippi: From a Specification to an Equivalence Proof in Object-Oriented Parallelism. IPPS/SPDP Workshops 1999: 1197-1214 | |
| 1996 | ||
| 1 | Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi: Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA 1996: 421-440, 453-456 | |
| 1 | Isabelle Attali | [1] [2] |
| 2 | Denis Caromel | [1] [2] |
| 3 | Sidi O. Ehmety | [1] |