Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Cálculo Lambda
2
Lenguajes de programación
2
Computación cuántica
1
Computação quântica
1
Desenho
1
Design
1
Diseño
1
Formal methods
1
Functional programming
1
Lambda calculation
1
Lambda calculus
1
Linguagem de programação
1
Linguagens de programação
1
Métodos formais
1
Métodos formales
1
Programación funcional
1
Programação funcional
1
Programming languages
1
Programming languajes
1
Quantum computing
1
Teoria dos tipos
1
Teoría de tipos
1
Theory of types
1
-
1“...Bonelli, E. (Dir.) (2019). Programación funcional: fundamentos revisados (Proyecto de investigación...”
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other publishedVersion -
2“...Díaz Caro, A. (Dir) (2019). Fundamentos de lenguajes de programación cuántica y sus consecuencias...”
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other publishedVersion