Buscar por Sustentante Pacheco Gómez, Eduardo Gerónimo
Mostrando resultados 1 a 2 de 2
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 | |
Lower bounds for the space complexity of timestamp implementations | Pacheco Gómez, Eduardo Gerónimo | 2011 |