Back to Search
Start Over
Node Replication: Theory And Practice
- Source :
- Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)
- Publication Year :
- 2024
- Publisher :
- Logical Methods in Computer Science e.V., 2024.
-
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.
Details
- Language :
- English
- ISSN :
- 18605974
- Volume :
- ume 20, Issue 1
- Database :
- Directory of Open Access Journals
- Journal :
- Logical Methods in Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.22c518106c640dcb26cd65b6643f2c8
- Document Type :
- article
- Full Text :
- https://doi.org/10.46298/lmcs-20(1:5)2024