Login / Signup
Strong Normalisation in Higher-Order Action Calculi.
Robin Milner
Published in:
TACS (1997)
Keyphrases
</>
higher order
high order
natural images
low order
pairwise
markov random field
data sets
knowledge representation
spatio temporal
machine learning
text categorization
conditional random fields
neural network
human actions
real time
action sequences
anti unification