Node Replication: Theory And Practice

Authors :: Kesner, Delia
Peyrot, Loïc
Ventura, Daniel
Source :: Logical Methods in Computer Science, Volume 20, Issue 1 (January 23, 2024) lmcs:9803
Publication Year :: 2022
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.

Subjects :: Computer Science - Logic in Computer Science
03B70
F.3.2
F.4.1
D.3.1

Database :: arXiv
Journal :: Logical Methods in Computer Science, Volume 20, Issue 1 (January 23, 2024) lmcs:9803
Publication Type :: Report
Accession number :: edsarx.2207.07143
Document Type :: Working Paper
Full Text :: https://doi.org/10.46298/lmcs-20(1:5)2024