Razonando acerca de programas funcionales

dc.creatorLobo Vesga, Elisabet
dc.date.accessioned2014-12-11T13:36:00Z
dc.date.accessioned2022-09-23T21:40:27Z
dc.date.available2014-12-11T13:36:00Z
dc.date.available2022-09-23T21:40:27Z
dc.date.created2014-12-11T13:36:00Z
dc.date.issued2012-11
dc.identifierhttp://hdl.handle.net/10784/4553
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3532855
dc.languagespa
dc.publisherUniversidad EAFIT
dc.publisherGrupo de Investigación Lógica y Computación
dc.publisherUniversidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computación
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAcceso abierto
dc.subjectRazonamiento ecuacional
dc.subjectmónadas
dc.subjectcorrección
dc.titleRazonando acerca de programas funcionales
dc.typeinfo:eu-repo/semantics/workingPaper
dc.typeworkingPaper


Este ítem pertenece a la siguiente institución