Sylvain Lippi

According to our database, Sylvain Lippi authored at least 9 papers between 1996 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Universal Hard Interaction for Clockless ComputationDem Glücklichen schlägt keine Stunde!

Sylvain Lippi

Fundam. Informaticae, 2009

2007

The graphical Krivine machine.

Sylvain Lippi

High. Order Symb. Comput., 2007

Hard combinators.

Denis Béchet, Sylvain Lippi

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Universal Boolean Systems.

Denis Béchet, Sylvain Lippi

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

2002

Encoding Left Reduction in the Lambda-Calculus with Interaction Nets.

Sylvain Lippi

Math. Struct. Comput. Sci., 2002

Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus.

Sylvain Lippi

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

in² : A Graphical Interpreter for Interaction Nets.

Sylvain Lippi

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

1999

From a Specification to an Equivalence Proof in Object-Oriented Parallelism.

Isabelle Attali, Denis Caromel, Sylvain Lippi

Proceedings of the Parallel and Distributed Processing, 1999

1996

Semantic-Based Visualization for Parallel Object-Oriented Programming.

Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996