Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español es
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-05-21

Formal development of computer algebra in type theory

Ámbito científico (EuroSciVoc)

Programa(s)

Tema(s)

Datos no disponibles

Convocatoria de propuestas

Datos no disponibles

Régimen de financiación

RGI - Research grants (individual fellowships)

Coordinador

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
Aportación de la UE
Sin datos
Dirección
Route des Lucioles 2004
06902 SOPHIA ANTIPOLIS
Francia
Coste total
Sin datos