11 citations · 11 across the 1 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…