Lógica Dialógica y Teoría Constructiva de Tipos. (First Part-Preprint-3/02/2026)
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-05491710
Soumis le : mardi 3 février 2026-16:58:44
Dernière modification le : dimanche 8 février 2026-03:05:53