Mathematicae Lingua Franca: Bridging the Linguistic Gap Between the Mathematician and the Machine

Información del proyecto

MALINCA

Identificador del acuerdo de subvención: 101167526

DOI

10.3030/101167526

Fecha de la firma de la CE 20 Febrero 2025

Fecha de inicio 1 Marzo 2025

Fecha de finalización 28 Febrero 2031

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 9 981 317,00

Aportación de la UE

€ 9 981 317,00

Coordinado por

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

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

Peer reviewed articles (5)

A parametricity-based formalization of semi-simplicial and semi-cubical sets

Autores: Hugo Herbelin, Ramkumar Ramachandra
Publicado en: Mathematical Structures in Computer Science, Edición 35, 2025, ISSN 0960-1295
Editor: Cambridge University Press (CUP)
DOI: 10.1017/S096012952500009X

"The categorical contours of the Chomsky-Sch\""utzenberger representation theorem"

Autores: Paul-André Melliès, Noam Zeilberger
Publicado en: Logical Methods in Computer Science, Edición Volume 21, Edición 2, 2025, ISSN 1860-5974
Editor: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/LMCS-21(2:12)2025

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice

Autores: Zena M. Ariola, Paul Downen, Hugo Herbelin
Publicado en: Electronic Proceedings in Theoretical Computer Science, Edición 441, 2026, ISSN 2075-2180
Editor: Open Publishing Association
DOI: 10.4204/EPTCS.441.1

Classical Notions of Computation and the Hasegawa-Thielecke Theorem

Autores: Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
Publicado en: Proceedings of the ACM on Programming Languages, Edición 10, 2026, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3776715

AdapTT: Functoriality for Dependent Type Casts

Autores: Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
Publicado en: Proceedings of the ACM on Programming Languages, Edición 10, 2026, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3776664

Book chapters (1)

In Cantor Space No One Can Hear You Stream

Autores: Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot
Publicado en: Lecture Notes in Computer Science, Programming Languages and Systems, 2026
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-032-22720-1_4