Login / Signup
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
Marco Pedicini
Francesco Quaglia
Published in:
CoRR (2004)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
databases
database systems
data model
autonomous agents