Login / Signup
(lambda).
Pierre Matet
Published in:
Math. Log. Q. (2000)
Keyphrases
</>
fixed point
lambda calculus
databases
case study
database
high quality
state space
general purpose