TY  - RPRT
TI  - On completeness and parametricity in the realizability semantics of System F
AU  - Paolo Pistone
PY  - 2019
DO  - 10.23638/lmcs-15(4:6)2019
UR  - https://arxiv.org/abs/1802.05143
ID  - 1802.05143
ER  -