Lógica Dialógica y Teoría Constructiva de Tipos. (First Part-Preprint-3/02/2026): Nuevas Exploraciones en la Genealogía y Arquitectura del Significado y de la Lógica como Interacción.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
programming
and type systems
Advanced Algebra and Logic
Publication details
- Journal / source
- HAL
- Publication date
- 3 February 2026
- Language
- ES
- Document type
- Preprint