Publications of P. Lescanne
BACK TO COATI PUBLICATION INDEXPublications of P. Lescanne
| Articles in journal or book's chapters |
-
D. J. Dougherty,
P. Lescanne,
and L. Liquori.
Addressed Term Rewriting Systems: Application to a Typed Object Calculus.
Journal of Mathematical Structures in Computer Science,
16(4):667--709,
2006.
[PDF
] [bibtex-entry]
-
D. J. Dougherty,
P. Lescanne,
L. Liquori,
and F. Lang.
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
TERMGRAPH: International Workshop on Computing with Terms and Graphs. Electr. Notes Theor. Comput. Sci.,
127(5):57--82,
2005.
[POSTSCRIPT
] [bibtex-entry]
| Conference's articles |
-
F. Lang,
P. Lescanne,
and L. Liquori.
A Framework for Defining Object-Calculi (extended abstract).
In FM, World Congress on Formal Methods in the Development of Computing Systems,
volume 1709 of Lecture Notes in Computer Science,
pages 963--982,
1999.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:45 2022