Steffen van Bakel. Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundamenta Informaticae, 26(2):141-166, 1996.
@article{Bakel96,
title = {Rank 2 Intersection Type Assignment in Term Rewriting Systems},
author = {Steffen van Bakel},
year = {1996},
tags = {term rewriting, type system, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Bakel96},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {26},
number = {2},
pages = {141-166},
}