Strong Normalization of Second Order Symmetric Lambda-mu Calculus.

Yoriyuki Yamagata

Published in: TACS (2001)

Keyphrases

higher order
lambda calculus
fixed point
databases
high level
machine learning
information systems
decision trees
preprocessing
data model
programming language
hessian matrix
automated deduction