A Formalized General Theory of Syntax with Bindings.

Lorenzo Gheri Andrei Popescu

Published in: ITP (2017)

Keyphrases

general theory
morphological operators
mathematical theory
high level
stable models
context free grammars
natural language
computer vision
high order
deductive databases
belief functions
datalog programs