Running Interaction Nets on Random Access Machines
Stephane Gimenez and Georg MoserProceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016), 2016.
BibTeX
@inproceedings{SGGM-HOR2016,
author = "Stephane Gimenez and Georg Moser",
title = "Running Interaction Nets on Random Access Machines",
booktitle = "Proceedings of the 8th International Workshop on Higher-Order
Rewriting",
year = 2016
}