TY  - RPRT
TI  - A Lambda-Calculus with letrec, case, constructors and non-determinism
AU  - Manfred Schmidt-Schauß
AU  - Michael Huber
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011008
ID  - cs/0011008
ER  -