Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL.

Published in: FLOPS (2020)

Keyphrases

higher order
theoretical foundation
general theory
database
theoretical basis
formal theory
theoretical insights
real world
information systems
logic programs
natural selection