Tree-Manipulating Systems and Church-Rosser Theorems.
Barry K. Rosen:
Tree-Manipulating Systems and Church-Rosser Theorems.
J. ACM 20(1): 160-187(1973)@article{DBLP:journals/jacm/Rosen73,
author = {Barry K. Rosen},
title = {Tree-Manipulating Systems and Church-Rosser Theorems},
journal = {J. ACM},
volume = {20},
number = {1},
year = {1973},
pages = {160-187},
ee = {db/journals/jacm/Rosen73.html, http://doi.acm.org/10.1145/321738.321750},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Giuseppe Castagna:
F&<=: integrating parametric and "ad hoc" second order polymorphism.
DBPL 1993: 338-358
BibTeX
Copyright © Sun May 17 00:05:21 2009
by Michael Ley (ley@uni-trier.de)