← Volver a Taxonomía
Ver 0 oportunidades vigentes en el catálogo →
Tag — técnica / temática de investigación
Cálculo lambda cuántico / lenguajes de programación cuánticos
Consolidado t-quantum-lambda-calculusUbicación en la taxonomía
Área: Teoría de la Computación
Subtema: Lambda cálculo, reescritura y teoría de tipos
Investigadores (4)
Díaz-Caro
Dowek
Malherbe
Borgna
Keywords del matcher (6)
Palabras clave que el matcher determinístico busca para asignar este tag a una oportunidad.
quantum lambda calculus
quantum programming language
density matrices control
ZX diagrams
quantum circuits
programación cuántica
Evidencia multi-fuente
La evidencia multi-fuente (papers, STANs, convenios, web ICC/DC) para tags está en desarrollo.
Ver spec: docs/superpowers/specs/2026-06-17-descubrimiento-propuestas-multifuente-design.md
(El filtro por tag específico en /catalog/ aún no está implementado — ver todas las vigentes.)