A Lambda-Calculus with letrec, case, constructors and non-determinism (0)

by Manfred Schmidt-Schauß, Michael Huber
Venue:CoRR