17 citations · 48 across the 16 of their papers we have counts for
1 paper · 1 filter
Manfred Schmidt-Schauß, Michael Huber
A non-deterministic call-by-need lambda-calculus \calc with case, constructors, letrec and a (non-deterministic) erratic choice, based on rewriting rules is investigated. A standar…