Login / Signup
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus.
Marcelo Fiore
Published in:
CoRR (2022)
Keyphrases
</>
lambda calculus
semantic analysis
programming language
natural language
natural language processing
predicate calculus
semantic information
program understanding
database query languages
complex objects
database
data structure
parse tree
syntactic analysis