Normalization in the simply typed λμμ'ρθε-calculus.

Péter Battyányi Karim Nour

Published in: Math. Struct. Comput. Sci. (2022)

Keyphrases

lambda calculus
higher order
normalization method
decision making
preprocessing
real time
search engine
information systems
website
decision trees
image segmentation
automated deduction
computer algebra
sequent calculus
database query languages