TY  - RPRT
TI  - The Next 700 Relational Program Logics
AU  - Kenji Maillard
AU  - Catalin Hritcu
AU  - Exequiel Rivas
AU  - Antoine Van Muylder
PY  - 2019
UR  - https://arxiv.org/abs/1907.05244
ID  - 1907.05244
ER  -