Node Replication: Theory And Practice
Logic in Computer Science
2024-08-07 v4
Abstract
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type theoretical technical tools.
Keywords
Cite
@article{arxiv.2207.07143,
title = {Node Replication: Theory And Practice},
author = {Delia Kesner and Loïc Peyrot and Daniel Ventura},
journal= {arXiv preprint arXiv:2207.07143},
year = {2024}
}