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

Informations projet

SemioMaths

N° de convention de subvention: 839730

DOI

10.3030/839730

Projet clôturé

Date de signature de la CE 9 Avril 2019

Date de début 1 Octobre 2019

Date de fin 30 Decembre 2022

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 191 149,44

Contribution de l’UE

€ 191 149,44

Coordonné par

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (3)

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

Auteurs: Juan Luis Gastaldi Luc Pellissier
Publié dans: 2021
Éditeur: HAL

semiolog

Auteurs: Juan Luis Gastaldi
Publié dans: 2023
Éditeur: GitHub/PyPI
DOI: 10.5281/zenodo.7659083

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

Auteurs: Juan Luis Gastaldi
Publié dans: 2023
Éditeur: HAL

Peer reviewed articles (3)

Swipe, ou l'écriture tout court

Auteurs: Juan Luis (Gianni) Gastaldi Bérénice Serra
Publié dans: Formules, Numéro 22, 2020, Page(s) 145-181, ISSN 1275-7713
Éditeur: Presses universitaires du Nouveau Monde

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

Auteurs: Juan Luis Gastaldi; Luc Pellissier
Publié dans: Interdisciplinary Science Reviews, Numéro 46 (4), 2021, Page(s) 569–590, ISSN 0308-0188
Éditeur: Maney Publishing
DOI: 10.3929/ethz-b-000511949

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

Auteurs: Juan Luis Gastaldi
Publié dans: Philosophy & Technology, Numéro 34 (1), 2021, Page(s) 149–214, ISSN 2210-5433
Éditeur: Springer Verlag
DOI: 10.1007/s13347-020-00393-9

Book chapters (2)

Le Contexte en Traitement Automatique des Langues

Auteurs: Juan Luis Gastaldi Richard Moot Christian Retoré
Publié dans: Les concepts fondateurs de la philosophie du langage: Contexte, 2023
Éditeur: ISTE

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

Auteurs: Juan Luis Gastaldi
Publié dans: Duality in 19th and 20th century mathematical thinking, 2023
Éditeur: Birkhäuser