Sylvain Lippi

	2009
9		Sylvain Lippi: Universal Hard Interaction for Clockless ComputationDem Glücklichen schlägt keine Stunde! Fundam. Inform. 91(2): 357-394 (2009)
	2008
8		Denis Béchet, Sylvain Lippi: Universal Boolean Systems. Electr. Notes Theor. Comput. Sci. 203(1): 19-30 (2008)
7		Denis Béchet, Sylvain Lippi: Hard combinators. Electr. Notes Theor. Comput. Sci. 203(1): 31-48 (2008)
	2007
6		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		Sylvain Lippi: The graphical Krivine machine. Higher-Order and Symbolic Computation 20(3): 295-318 (2007)
	2002
4		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

Coauthor Index

1	Isabelle Attali	[1] [2]
2	Denis Béchet	[7] [8]
3	Denis Caromel	[1] [2]
4	Sidi O. Ehmety	[1]

Colors in the list of coauthors