HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016) #1 Post by robertothais » Tue, Apr 25, 2017, 2:23 AM UTC HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)arxiv.org