TY  - RPRT
TI  - A Note on "Extensional PERs"
AU  - W. P. Stekelenburg
PY  - 2010
UR  - https://arxiv.org/abs/0901.3967
ID  - 0901.3967
ER  -