Mark-Oliver Stehr.
CINNI - a generic calculus of explicit substitutions and its
application to lambda-, sigma- and pi-calculi.
In K. Futatsugi, editor, The 3rd International Workshop on
Rewriting Logic and its Applications Kanazawa City Cultural Hall, Kanzawa
Japan, September 18-20, 2000, Proceedings, volume 36 of Electronic
Notes in Theoretical Computer Science, pages 71 - 92. Elsevier, 2000.
urlhttp://www.elsevier.nl/locate/entcs/volume36.html. Extended
version at urlhttp://www.csl.sri.com/ stehr.
Abstract: No abstracts yet.
@INPROCEEDINGS{Stehr00, AUTHOR = {Stehr, Mark-Oliver}, BOOKTITLE = {The 3rd International Workshop on Rewriting Logic and its Applications Kanazawa City Cultural Hall, Kanzawa Japan, September 18--20, 2000, Proceedings}, EDITOR = {Futatsugi, K.}, NOTE = {url{http://www.elsevier.nl/locate/entcs/volume36.html}. Extended version at url{http://www.csl.sri.com/~stehr}}, PAGES = {71 -- 92}, PUBLISHER = {Elsevier}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {{CINNI} -- A Generic Calculus of Explicit Substitutions and its Application to lambda-, sigma- and pi-calculi}, VOLUME = {36}, YEAR = 2000 }
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.