TY  - RPRT
TI  - Strongly-Normalizing Higher-Order Relational Queries
AU  - Wilmer Ricciotti
AU  - James Cheney
PY  - 2022
DO  - 10.46298/lmcs-18(3:23)2022
UR  - https://arxiv.org/abs/2011.13451
ID  - 2011.13451
ER  -