TY  - JOUR

T1  - Admissible types-to-PERs relativization in higher-order logic

JO  - Proceedings of the ACM on Programming Languages

UR  - https://eprints.whiterose.ac.uk/id/eprint/197460

PY  - 2023/01/11

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1145/3571235

PB  - Association for Computing Machinery (ACM)

VL  - 7

IS  - POPL

SP  - 1214

EP  - 1245

Y2  - 2025/11/27

ER  -