Login / Signup
Modularity of Strong Normalization in the Algebraic-lambda-Cube.
Franco Barbanera
Maribel Fernández
Herman Geuvers
Published in:
J. Funct. Program. (1997)
Keyphrases
</>
multi dimensional
data cube
neural network
higher order
database
fixed point
image segmentation
high level
image sequences
optimal solution
multiresolution
expressive power
linear algebra