Lambda Calculus with Explicit Read-back.

Anton Salikhmetov

Published in: CoRR (2018)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
knowledge base
relational databases
natural language processing
general purpose
first order logic
predicate logic