{"id":25055,"date":"2018-03-09T09:16:17","date_gmt":"2018-03-09T09:16:17","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/funciones-de-orden-superior-en-programacion-funcional-una-perspectiva-categorica\/"},"modified":"2018-03-09T09:16:17","modified_gmt":"2018-03-09T09:16:17","slug":"funciones-de-orden-superior-en-programacion-funcional-una-perspectiva-categorica","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/a-coruna\/funciones-de-orden-superior-en-programacion-funcional-una-perspectiva-categorica\/","title":{"rendered":"Funciones de orden superior en programaci\u00f3n funcional. una perspectiva categ\u00f3rica"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Freire Bra\u00f1as Jos\u00e9 Enrique <\/strong><\/h2>\n<p>Identificaci\u00f3n de las estructuras subyacentes a las categor\u00edas de eilenberg-moore y de kleisli asociadas a las m\u00f3nadas usadas en algunos lenguajes funcionales puros para modelizar aspectos imperativos.  dar una adecuada definici\u00f3n de la noci\u00f3n de tipo que permita abarcar estructuras abstractas.  definici\u00f3n de morfismos gen\u00e9ricos sobre esos tipos de forma que, aplicados a par\u00e1metros adecuados, posibiliten la construcci\u00f3n de programas funcionales verificables.  generalizaci\u00f3n de los teoremas de optimizaci\u00f3n (fusi\u00f3n y deforestaci\u00f3n) aplicables a los morfismos previamente declarados.  implementaci\u00f3n y optimizaci\u00f3n en caml, usando los teoremas descritos en el apartado anterior, de los siguientes problemas: resoluci\u00f3n, por medio de un algoritmo de b\u00fasqueda ciega, del problema ps de mccarthy, c\u00e1lculo del n\u00famero crom\u00e1tico y del spanning-tree de un grafo.  construcci\u00f3n de morfismos sobre tipos anidados con la posibilidad de ser singularizados  analizando qu\u00e9 requerimientos son precisos para poder definir tales funciones.  caracterizaci\u00f3n de las funciones tail-recursive sobre los tipos regulares.  implementaci\u00f3n y demostraci\u00f3n en coq de las propiedades previamente rese\u00f1adas.  definici\u00f3n en coq de las funciones primitivo recursivas y de la noci\u00f3n de catamorfismo generalizado.  demostraci\u00f3n en coq del car\u00e1cter catam\u00f3rfico de la funci\u00f3n de ackermann.  demostraci\u00f3n en coq de la imposibilidad de declarar la funci\u00f3n de ackermann como catamorfismo generalizado.  caracterizaci\u00f3n de los cotipos seg\u00fan su car\u00e1cter coninductivo analizando la equiValencia con su definici\u00f3n en coq.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Funciones de orden superior en programaci\u00f3n funcional. una perspectiva categ\u00f3rica<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Funciones de orden superior en programaci\u00f3n funcional. una perspectiva categ\u00f3rica <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Freire Bra\u00f1as Jos\u00e9 Enrique <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 A coru\u00f1a<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 24\/07\/2003<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Freire Nistal Jos\u00e9 Luis<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Antonio Blanco ferro <\/li>\n<li>felipe Gago couso (vocal)<\/li>\n<li>eladio Dom\u00ednguez murillo (vocal)<\/li>\n<li>laureano Lamb\u00e1n aprdo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Freire Bra\u00f1as Jos\u00e9 Enrique Identificaci\u00f3n de las estructuras subyacentes a las categor\u00edas de eilenberg-moore y de kleisli [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[18576],"tags":[16154,10833,38181,73240,10525,73241],"class_list":["post-25055","post","type-post","status-publish","format-standard","hentry","category-a-coruna","tag-antonio-blanco-ferro","tag-eladio-dominguez-murillo","tag-felipe-gago-couso","tag-freire-branas-jose-enrique","tag-freire-nistal-jose-luis","tag-laureano-lamban-aprdo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/25055","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=25055"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/25055\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=25055"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=25055"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=25055"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}