A new type assignment for λ-terms.

Mario Coppo Mariangiola Dezani-Ciancaglini

Published in: Arch. Math. Log. (1978)

Keyphrases

data mining
artificial intelligence
multiple types
genetic algorithm
e learning
three dimensional
image sequences
multiscale
pairwise
document collections