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.
@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 }