Infinitary Relational Logic

Published in OOPSLA, 2026