Node Replication: Theory And Practice

07/14/2022
by   Delia Kesner, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset