dblp.uni-trier.dewww.uni-trier.de

Sylvain Lippi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEDenis Béchet, Sylvain Lippi: Universal Boolean Systems. Electr. Notes Theor. Comput. Sci. 203(1): 19-30 (2008)
7EEDenis Béchet, Sylvain Lippi: Hard combinators. Electr. Notes Theor. Comput. Sci. 203(1): 31-48 (2008)
2007
6EESylvain Lippi: Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. Electr. Notes Theor. Comput. Sci. 72(1): 75-86 (2007)
5EESylvain Lippi: The graphical Krivine machine. Higher-Order and Symbolic Computation 20(3): 295-318 (2007)
2002
4EESylvain 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)