The Spirit of Node Replication
AbstractWe 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.
1998 ◽
Vol 8
(1)
◽
pp. 23-60
◽
Keyword(s):
1992 ◽
Vol 50
(2)
◽
pp. 1622-1623
1993 ◽
Vol 51
◽
pp. 450-451
Keyword(s):
Keyword(s):
2008 ◽
Vol 29
(4)
◽
pp. 205-216
◽
Keyword(s):
2010 ◽
Vol 26
(3)
◽
pp. 162-171
◽
2020 ◽
Vol 228
(4)
◽
pp. 244-253
◽