Documentos de trabajo (working papers)
URI permanente para esta colección
Examinar
Envíos recientes
Ítem A Set Theory Formalization(2017) Calle-Saldarriaga, Alejandro; acalles@eafit.edu.coÍtem Proof-term reconstruction from TSTP to Agda(Universidad EAFIT, 2015-12-19) Gómez-Londoño, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; agomezl@eafit.edu.co; Gómez-Londoño, Alejandro (agomezl@eafit.edu.co)Ítem Proof Reconstruction: Parsing Proofs(Universidad EAFIT, 2015-06-10) Montoya-Zapata, Diego Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Montoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co)Ítem Proof Reconstruction: Parsing Proofs(Universidad EAFIT, 2015-06-10) Gómez-Londoño, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Gómez-Londoño, Alejandro (agomezl@eafit.edu.co)Ítem Hacia la formalización del razonamiento ecuacional sobre mónadas(Universidad EAFIT, 2013-05) Lobo Vesga, Elisabet; Elisabet Lobo Vesga (elobove@eafit.edu.co)Ítem Razonando acerca de programas funcionales(Universidad EAFIT, 2012-11) Lobo Vesga, Elisabet; Elisabet Lobo Vesga (elobove@eafit.edu.co)Ítem Formalization of Programs with Positive Inductive Types(Universidad EAFIT, Medellín, Colombia, 2014-11) Lobo Vesga, Elisabet; Elizabet Lobo-Vesga (elobove@eafit.edu.co)Ítem Teoría de categorías aplicada a la programación funcional con Agda.(Universidad EAFIT, Medellín, Colombia, 2011-02) Villa-Isaza, Juan Pedro; Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)