Teoría Constructiva de Tipos. - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Teoría Constructiva de Tipos.

Shahid Rahman
Juan Redmond
  • Fonction : Auteur
  • PersonId : 1332174
Rodrigo Lopez Orellana
  • Fonction : Auteur
  • PersonId : 1332175
Fichier principal
Vignette du fichier
Spanish9an-2024.pdf (3.53 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04377427 , version 1 (07-01-2024)
hal-04377427 , version 2 (10-01-2024)

Identifiants

  • HAL Id : hal-04377427 , version 2

Citer

Shahid Rahman, Juan Redmond, Rodrigo Lopez Orellana. Teoría Constructiva de Tipos.: Nuevas Exploraciones en la Genealogía y Arquitectura del Significado y de la Lógica como Interacción.. 2024. ⟨hal-04377427v2⟩
28 Consultations
44 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More