Explicit substitutions in the reduction of lambda terms.

Gopalan Nadathur Xiaochu Qi

Published in: PPDP (2003)

Keyphrases

information systems
artificial neural networks
genetic algorithm
database systems
multiscale
multi agent systems