TY  - RPRT
TI  - Derived non-archimedean analytic spaces
AU  - Mauro Porta
AU  - Tony Yue Yu
PY  - 2017
UR  - https://arxiv.org/abs/1601.00859
ID  - 1601.00859
ER  -