Publications of P. Lescanne

BACK TO COATI PUBLICATION INDEX

Publications of P. Lescanne

Articles in journal or book's chapters
  1. 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]
     
  2. 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
  1. 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: Fri Oct 20 15:06:09 2017