Login / Signup
A Lambda-Calculus with letrec, case, constructors and non-determinism
Manfred Schmidt-Schauß
Michael Huber
Published in:
CoRR (2000)
Keyphrases
</>
lambda calculus
description logics
programming language
expressive power