Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora

Información del proyecto

SemioMaths

Identificador del acuerdo de subvención: 839730

DOI

10.3030/839730

Proyecto cerrado

Fecha de la firma de la CE 9 Abril 2019

Fecha de inicio 1 Octubre 2019

Fecha de finalización 30 Diciembre 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 191 149,44

Aportación de la UE

€ 191 149,44

Coordinado por

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (3)

The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction

Autores: Juan Luis Gastaldi Luc Pellissier
Publicado en: 2021
Editor: HAL

semiolog

Autores: Juan Luis Gastaldi
Publicado en: 2023
Editor: GitHub/PyPI
DOI: 10.5281/zenodo.7659083

Content from Expressions: The Place of Textuality in Deep Learning Approaches to Mathematics

Autores: Juan Luis Gastaldi
Publicado en: 2023
Editor: HAL

Peer reviewed articles (3)

Swipe, ou l'écriture tout court

Autores: Juan Luis (Gianni) Gastaldi Bérénice Serra
Publicado en: Formules, Edición 22, 2020, Página(s) 145-181, ISSN 1275-7713
Editor: Presses universitaires du Nouveau Monde

The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms

Autores: Juan Luis Gastaldi; Luc Pellissier
Publicado en: Interdisciplinary Science Reviews, Edición 46 (4), 2021, Página(s) 569–590, ISSN 0308-0188
Editor: Maney Publishing
DOI: 10.3929/ethz-b-000511949

Why can computers understand natural language? The structuralist image of language behind word embeddings

Autores: Juan Luis Gastaldi
Publicado en: Philosophy & Technology, Edición 34 (1), 2021, Página(s) 149–214, ISSN 2210-5433
Editor: Springer Verlag
DOI: 10.1007/s13347-020-00393-9

Book chapters (2)

Le Contexte en Traitement Automatique des Langues

Autores: Juan Luis Gastaldi Richard Moot Christian Retoré
Publicado en: Les concepts fondateurs de la philosophie du langage: Contexte, 2023
Editor: ISTE

De Morgan’s De Morgan’s Laws: Duality in the Emergence of Formal Logic

Autores: Juan Luis Gastaldi
Publicado en: Duality in 19th and 20th century mathematical thinking, 2023
Editor: Birkhäuser