Búsqueda avanzada
Añadir filtros:
Usa los filtros para afinar la búsqueda.
Resultados de la búsqueda 1-2 de 2.
- Anterior
- 1
- Siguiente
Seleccionar recurso:
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
El isomorfismo de Curry Howard, un fundamento lógico para la programación funcional | Pacheco Gómez, Eduardo Gerónimo | 2008 | |
Coinduccion : de la teoria de categorias a la programacion funcional | Gonzalez Huesca, Lourdes del Carmen | 2007 |
Recursos por:
Nivel académico
Idioma
- 2 spa