TY  - RPRT
TI  - On Pitts' Relational Properties of Domains
AU  - Arthur Azevedo de Amorim
PY  - 2022
UR  - https://arxiv.org/abs/2207.07053
ID  - 2207.07053
ER  -