Login / Signup
A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.
Manfred Schmidt-Schauß
Elena Machkasova
Published in:
RTA (2008)
Keyphrases
</>
expert systems
pairwise
general purpose
distance function