TY - RPRT TI - Formal moduli problems and formal derived stacks AU - Damien Calaque AU - Julien Grivaux PY - 2019 UR - https://arxiv.org/abs/1802.09556 ID - 1802.09556 ER -