Normalization for Typed Lambda Calculi with Explicit Substitution.

Published in: CSL (1993)

Keyphrases

lambda calculus
higher order
programming language
computer vision
preprocessing
fixed point
normalization method
real time
neural network
real world
database systems
spatial relations