Enregistré dans:
Détails bibliographiques
Auteurs principaux: Coquand, Thierry, Höfer, Jonas, Sattler, Christian
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:https://arxiv.org/abs/2605.15126
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires