HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)https://arxiv.org/abs/1607.04822 by robertothais • 9 years ago 1 0 9 years agoARarxiv.org