MASCOTTE no longer exists => visit the new project-team
Publications of P. Lescanne
BACK TO MASCOTTE PUBLICATION INDEX
Publications of P. Lescanne
-
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]
-
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 MASCOTTE PUBLICATION INDEX
Last modified: Thu Oct 10 14:10:02 2013
This document was translated from BibTEX by
bibtex2html
| 
