Sylvain Lippi
Maître de conférences à l'Université
de Nice Sophia Antipolis
Polytech Sophia, dpt SI
930 route des Colles BP 145
06903 Sophia Antipolis Cedex
Laboratoire I3S
Equipe Modèles Discrets pour les Systèmes complexes
Sylvain LippiMaître de conférences à l'Université
de Nice Sophia Antipolis
Polytech Sophia, dpt SI
930 route des Colles BP 145
06903 Sophia Antipolis Cedex
Laboratoire I3S
Equipe Modèles Discrets pour les Systèmes complexes
|
| [1] |
Isabelle Attali, Denis Caromel, Sidi O. Ehmety, and Sylvain Lippi.
Semantic-based visualization for parallel object-oriented programming.
In OOPSLA'96 (Object-Oriented Programming: Systems, Languages, and Applications). ACM Press, Sigplan Notices, Vol. 31, 1999. |
| [2] |
Isabelle Attali, Denis Caromel, and Sylvain Lippi.
From a specification to an equivalence proof in object-oriented
parallelism.
In FMPPTA'99: Modeling and Proving (Fourth Workshop in Formal
Methods for Parallel Programming, Theory and Applications). LNCS 1586, 1999. |
| [3] |
Sylvain Lippi.
Interaction nets as a programming language.
Technical report, Institut de Mathématiques de Luminy, 2001. |
| [4] |
Sylvain Lippi.
Encoding left reduction in the λ-calculus with interaction
nets.
Mathematical Structures in Computer Science, 12(6), December
2002. |
| [5] |
Sylvain Lippi.
inin: a graphical interpreter for the interaction nets.
In Proceedings of Rewriting Techniques and Applications (RTA
'02). Springer Verlag, 2002. |
| [6] |
Sylvain Lippi.
Théorie et pratique des réseaux d'interaction.
PhD thesis, Université de la méditerranée, 2002. |
| [7] |
Sylvain Lippi.
Package duplication in interaction nets and weak head reduction in
the λ-calculus.
. Electronic Notes in Theoretical Computer Science, Volume 72, Number 1, September 2007 |
| [8] |
Sylvain Lippi.
Programming with interaction nets.
Technical report, Logic and Interaction school, 2002. |
| [9] |
Sylvain Lippi.
The graphical krivine machine.
Higher Order and Symbolic Computation, 295-318, Volume 20, Number 3, September 2007. |
| [10] |
Denis Béchet and Sylvain Lippi.
Hard Combinators.
. Electronic Notes in Theoretical Computer Science, Volume 203, Number 1, March 2008 |
| [11] |
Denis Béchet and Sylvain Lippi.
Universal boolean systems.
. Electronic Notes in Theoretical Computer Science, Volume 203, Number 1, March 2008 |
| [12] |
Sylvain Lippi.
Universal hard interaction for clockless computation.
Fundamenta Informaticae, 357-394,
Volume 91, Number 2, 2009 |
| [13] |
Sylvain Lippi.
Universal machines are acceptable, undoubtedly.
In preparation, 2014.
|
| [14] |
Sylvain Lippi.
Le langage C pour les faux-débutants.
Draft, 2014.
Bilingue.
|