Semantic analysis of normalisation by evaluation for typed lambda calculus.

Marcelo P. Fiore

Published in: PPDP (2002)

Keyphrases

lambda calculus
semantic analysis
programming language
natural language
semantic information
predicate calculus
natural language processing
program understanding
database query languages
higher order
syntactic analysis
parse tree
complex objects
formal model
metadata
expert systems
high level