Node Replication: Theory And Practice
-
Published:2024-01-23
Issue:
Volume:Volume 20, Issue 1
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Kesner Delia,Peyrot Loïc,Ventura Daniel
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.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)