Small-step and big-step semantics for call-by-need

Keiko Nakata, Masahito Hasegawa

We present natural semantics for acyclic as well as cyclic call-by-need lambda calculi, which are proved equivalent to the reduction semantics given by Ariola and Felleisen. The na…