Mostrando
1 - 3
Resultados de
3
Para Buscar '
Ciruelos Rodríguez, Gonzalo
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Ciruelos Rodríguez, Gonzalo
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Ciruelos Rodríguez, Gonzalo
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Factorización de derivaciones a través de tipos intersección
por
Ciruelos
Rodríguez
,
Gonzalo
Publicado 28 d
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de Grado
Agregar a favoritos
Guardado en:
2
Factorización de derivaciones a través de tipos intersección
por
Ciruelos
Rodríguez
,
Gonzalo
Publicado 2018
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis de grado
publishedVersion
Agregar a favoritos
Guardado en:
3
Factorización de derivaciones a través de tipos intersección
por
Ciruelos
Rodríguez
,
Gonzalo
Publicado 2018
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de grado
publishedVersion
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
CALCULO LAMBDA
DERIVATION SPACE
ESPACIO DE DERIVACION
INTERSECTION TYPES
LAMBDA CALCULUS
LATTICE
RETICULADO
TIPOS INTERSECCION
Cargando...