Login / Signup
Natural Transformations as Rewrite Rules and Monad Composition.
Dexter Kozen
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
rewrite rules
rewriting rules
transformation rules
sql queries
consistency constraints
complex queries
software engineering
query optimization