From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions.

Pierre Lescanne

Published in: POPL (1994)

Keyphrases

fixed point
data sets
databases
multiscale
lambda calculus
real world
computer vision
digital libraries
special case
probabilistic model
fuzzy logic
rough sets