Sylvain Lippi

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

Sylvain Lippi
Universal Hard Interaction for Clockless ComputationDem Glücklichen schlägt keine Stunde! Fundam. Informaticae 91 (2) (2009)
Denis Béchet, Sylvain Lippi
Hard combinators. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Denis Béchet, Sylvain Lippi
Universal Boolean Systems. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Sylvain Lippi
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Sylvain Lippi
The graphical Krivine machine. High. Order Symb. Comput. 20 (3) (2007)
Sylvain Lippi
Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. Math. Struct. Comput. Sci. 12 (6) (2002)
Sylvain Lippi
: A Graphical Interpreter for Interaction Nets. RTA (2002)
Isabelle Attali, Denis Caromel, Sylvain Lippi
From a Specification to an Equivalence Proof in Object-Oriented Parallelism. IPPS/SPDP Workshops (1999)
Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA (1996)