Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.

Maria C. F. Ferreira Delia Kesner Laurence Puel

Published in: ALP (1996)

Keyphrases

preprocessing
high level
database systems
real time
machine learning
computer vision
normalization method