Semantic analysis of normalisation by evaluation for typed lambda calculus.

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

Keyphrases

lambda calculus
semantic analysis
programming language
natural language
natural language processing
predicate calculus
semantic information
syntactic analysis
database query languages
program understanding
higher order
complex objects
parse tree
data mining
relational databases