Extensionality of lambda-.

Andrew Polonsky

Published in: CoRR (2014)

Keyphrases

fixed point
lambda calculus
genetic algorithm
pairwise
database systems
high quality
multi agent
domain knowledge
programming language