Академический Документы
Профессиональный Документы
Культура Документы
en lambda cálculo
Alejandro Díaz-Caro
Lenguajes de programación
Teoría de tipos
(lambda cálculo)
&
&
& = & &
&
& ⊗ &
& ⊗ &
crear qubit 0;
crear qubit 1; (aP1 + bP2) |ψi
|0i •
aplicar CNOT; → aP1 |ψi + bP2 |ψi
|1i
if(medir qubit1) → a |φi + b |ϕi
then . . .
I Vectorial es un cálculo de
espacios vectoriales
I Se agrega subtipado para
obtener subject reduction Espacio para uno más...
I Se rehacen todos los
teoremas (cálculo con casi 20
reglas)
Cristian Sottile (UNLP)
(codirector: “Fidel”)
Extensión de System I Ignacio Grima (UNR)
I Agregar los isomorfismos de (codirector: “Fidel”)
polimorfismo a System I Implementación de
I Probar preservación de tipos Lambda-S en Haskell
I Sistema de tipos complejo
I Reducción dependiente del
tipado