Gardado en:
Detalles Bibliográficos
Main Authors: Coquand, Olivier, Kranz, Wolf Till, Sperl, Matthias
Formato: Preprint
Publicado: 2020
Subjects:
Acceso en liña:https://arxiv.org/abs/2008.05931
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!