@inproceedings{dougherty:hal-01152576, TITLE = {{A Generic Object-Calculus Based on Addressed Term Rewriting Systems}}, AUTHOR = {Dougherty, Daniel J. and Lang, Frederic and Lescanne, Pierre and Liquori, Luigi and Rose, Kristoffer}, URL = {https://inria.hal.science/hal-01152576}, BOOKTITLE = {{Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01)}}, ADDRESS = {Utrecht, Netherlands}, PUBLISHER = {{University of Utrecht, Institute of Philosophy}}, SERIES = {Logic Group Preprint series}, NUMBER = {210}, PAGES = {6-25}, YEAR = {2001}, MONTH = May, PDF = {https://inria.hal.science/hal-01152576/file/2001-westapp-01.pdf}, HAL_ID = {hal-01152576}, HAL_VERSION = {v1}, }