Pré-Publication, Document De Travail Année : 2026

Lógica Dialógica y Teoría Constructiva de Tipos. (First Part-Preprint-3/02/2026)

Fichier principal
Vignette du fichier
Pre-printSpanish3feb-(I)part2026.pdf (1.35 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

halshs-05491710 , version 1 (03-02-2026)

Licence

Identifiants

  • HAL Id : halshs-05491710 , version 1

Citer

Shahid Rahman, Juan Redmond. Lógica Dialógica y Teoría Constructiva de Tipos. (First Part-Preprint-3/02/2026). 2026. ⟨halshs-05491710⟩
52 Consultations
33 Téléchargements

Partager

  • More