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

Add code
Nov 06, 2000
Figure 1 for A Lambda-Calculus with letrec, case, constructors and non-determinism

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: