Formal metatheory of second-order abstract syntax.

Marcelo Fiore Dmitrij Szamozvancev

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

high level
machine processable
operational semantics
higher order
formal model
low level
precisely defined
database
knowledge level
data sets
databases
image processing
natural language
high order
semantic web