1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…