Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
LAMBDA CALCULUS
CALCULO LAMBDA
6
COMBINATORY LOGIC
3
CURRY-HOWARD ISOMORPHISM
3
DERIVATION SPACE
3
ESPACIO DE DERIVACION
3
INTERSECTION TYPES
3
ISOMORFISMO DE CURRY-HOWARD
3
LATTICE
3
LOGIC OF PROOFS
3
LOGICA COMBINATORIA
3
LOGICA DE PRUEBAS
3
LOGICA MODAL
3
MODAL LOGIC
3
PATRONES
3
PATTERNS
3
RETICULADO
3
TIPOS INTERSECCION
3
COMPLETE PARTIAL ORDEN
2
COMPUTACION CUANTICA
2
DENSITY MATRICES
2
FIXED-POINT
2
LAMBDA CALCULO
2
MATRICES DE DENSIDAD
2
ORDEN PARCIAL COMPLETO
2
PUNTO FIJO
2
QUANTUM COMPUTING
2
-
1
-
2por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
3por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
4
-
5por Ivnisky, MalenaMaterias: “...LAMBDA CALCULUS...”
Publicado 2020
Tesis de grado publishedVersion -
6por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
7por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
8