2008 | ||
---|---|---|
8 | EE | Denis Béchet, Sylvain Lippi: Universal Boolean Systems. Electr. Notes Theor. Comput. Sci. 203(1): 19-30 (2008) |
7 | EE | Denis Béchet, Sylvain Lippi: Hard combinators. Electr. Notes Theor. Comput. Sci. 203(1): 31-48 (2008) |
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 Béchet | [7] [8] |
3 | Denis Caromel | [1] [2] |
4 | Sidi O. Ehmety | [1] |