Canonical Typing and Pi-Conversion in the Barendregt Cube.

Fairouz Kamareddine Rob Nederpelt

Published in: J. Funct. Program. (1996)

Keyphrases

data cube
multi dimensional
olap systems
data sets
real world
decision trees
image segmentation
evolutionary algorithm
eye typing