{"id":27267,"date":"2003-03-12T00:00:00","date_gmt":"2003-03-12T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/calculo-de-secuentes-para-sistemas-de-tipos-puros\/"},"modified":"2003-03-12T00:00:00","modified_gmt":"2003-03-12T00:00:00","slug":"calculo-de-secuentes-para-sistemas-de-tipos-puros","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/malaga\/calculo-de-secuentes-para-sistemas-de-tipos-puros\/","title":{"rendered":"C\u00e1lculo de secuentes para sistemas de tipos puros"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Francisco Guti\u00e9rrez L\u00f3pez <\/strong><\/h2>\n<p>Los sistemas de tipos puros forman un marco general para definir sistemas de tipos que usan intesivament tipos dependientes.  en esta tesis se define un c\u00e1lculo se secuentes equivalente a la formulaci\u00f3n est\u00e1ndar de los sistemas de tipos puros cuyo fragmento libre del corte goza de la propiedad de eliminaci\u00f3n del corte en dos ampl\u00edas familias de sistemas.  por medio del c\u00e1lculo anterior, se prueba que la propiedad de eliminaci\u00f3n del corte resuelve el problema de la posposici\u00f3n de la beta-expansi\u00f3n.  finalmente, se construye un semi-algoritmo de reconstrucci\u00f3n de sistemas y tipos normalizados tanto para el c\u00e1lculo completo como para el fragmento libre del corte.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>C\u00e1lculo de secuentes para sistemas de tipos puros<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 C\u00e1lculo de secuentes para sistemas de tipos puros <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Francisco Guti\u00e9rrez L\u00f3pez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 03\/12\/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>Blas Carlos Ruiz Jimenez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<li>gilles Barthe (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Francisco Guti\u00e9rrez L\u00f3pez Los sistemas de tipos puros forman un marco general para definir sistemas de tipos [&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":[7834],"tags":[78387,78386,78388,4814,16231,6479],"class_list":["post-27267","post","type-post","status-publish","format-standard","hentry","category-malaga","tag-blas-carlos-ruiz-jimenez","tag-francisco-gutierrez-lopez","tag-gilles-barthe","tag-jose-maria-troya-linero","tag-juan-jose-moreno-navarro","tag-maria-alpuente-frasnedo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/27267","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=27267"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/27267\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=27267"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=27267"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=27267"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}