Documentos de trabajo (working papers)
URI permanente para esta colección
Examinar
Envíos recientes
Publicación A Set Theory Formalization(2017) Calle-Saldarriaga, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; acalles@eafit.edu.coPublicación 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)Publicación 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)Publicación 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)Publicación Hacia la formalización del razonamiento ecuacional sobre mónadas(Universidad EAFIT, 2013-05) Lobo Vesga, Elisabet; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Elisabet Lobo Vesga (elobove@eafit.edu.co)Publicación Razonando acerca de programas funcionales(Universidad EAFIT, 2012-11) Lobo Vesga, Elisabet; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Elisabet Lobo Vesga (elobove@eafit.edu.co)Publicación Formalization of Programs with Positive Inductive Types(Universidad EAFIT, Medellín, Colombia, 2014-11) Lobo Vesga, Elisabet; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Elizabet Lobo-Vesga (elobove@eafit.edu.co)Publicación Teoría de categorías aplicada a la programación funcional con Agda.(Universidad EAFIT, Medellín, Colombia, 2011-02) Villa-Isaza, Juan Pedro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)