TY  - RPRT
TI  - Around finite second-order coherence spaces
AU  - Lê Thành Dũng Nguyên
PY  - 2019
UR  - https://arxiv.org/abs/1902.00196
ID  - 1902.00196
ER  -