TY - RPRT TI - Derived complex analytic geometry I: GAGA theorems AU - Mauro Porta PY - 2018 UR - https://arxiv.org/abs/1506.09042 ID - 1506.09042 ER -