A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.

Eduardo Bonelli

Published in: FoSSaCS (2003)

Keyphrases

higher order
natural images
high order
database
neural network
social networks
computer vision
information systems
expert systems
probabilistic model
rough sets
conditional random fields