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

Project Information

SemioMaths

Grant agreement ID: 839730

DOI

10.3030/839730

Project closed

EC signature date 9 April 2019

Start date 1 October 2019

End date 30 December 2022

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 191 149,44

EU contribution

€ 191 149,44

Coordinated by

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (3)

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

Author(s): Juan Luis Gastaldi Luc Pellissier
Published in: 2021
Publisher: HAL

semiolog

Author(s): Juan Luis Gastaldi
Published in: 2023
Publisher: GitHub/PyPI
DOI: 10.5281/zenodo.7659083

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

Author(s): Juan Luis Gastaldi
Published in: 2023
Publisher: HAL

Peer reviewed articles (3)

Swipe, ou l'écriture tout court

Author(s): Juan Luis (Gianni) Gastaldi Bérénice Serra
Published in: Formules, Issue 22, 2020, Page(s) 145-181, ISSN 1275-7713
Publisher: Presses universitaires du Nouveau Monde

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

Author(s): Juan Luis Gastaldi; Luc Pellissier
Published in: Interdisciplinary Science Reviews, Issue 46 (4), 2021, Page(s) 569–590, ISSN 0308-0188
Publisher: Maney Publishing
DOI: 10.3929/ethz-b-000511949

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

Author(s): Juan Luis Gastaldi
Published in: Philosophy & Technology, Issue 34 (1), 2021, Page(s) 149–214, ISSN 2210-5433
Publisher: Springer Verlag
DOI: 10.1007/s13347-020-00393-9

Book chapters (2)

Le Contexte en Traitement Automatique des Langues

Author(s): Juan Luis Gastaldi Richard Moot Christian Retoré
Published in: Les concepts fondateurs de la philosophie du langage: Contexte, 2023
Publisher: ISTE

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

Author(s): Juan Luis Gastaldi
Published in: Duality in 19th and 20th century mathematical thinking, 2023
Publisher: Birkhäuser