Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/10495/27314Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.contributor.advisor | Agudelo Agudelo, Juan Carlos | - |
| dc.contributor.advisor | Sicard Ramírez, Andrés | - |
| dc.contributor.author | Pinilla Barrera, Alejandro | - |
| dc.date.accessioned | 2022-04-05T16:26:23Z | - |
| dc.date.available | 2022-04-05T16:26:23Z | - |
| dc.date.issued | 2022 | - |
| dc.identifier.uri | http://hdl.handle.net/10495/27314 | - |
| dc.description.abstract | ABSTRACT: In this article we present an extension of simply typed lambda calculus by introducing the idea of opposite types developed by Agudelo-Agudelo and Sicard-Ramírez (2021). The rules for these new types are based on the rules of a fragment of the logic system presented by the same authors. Two of the main properties of type systems are proven: The strong normalization theorem and the Curry-Howard correspondence. | spa |
| dc.format.extent | 32 | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.language.iso | eng | spa |
| dc.type.hasversion | info:eu-repo/semantics/draft | spa |
| dc.rights | info:eu-repo/semantics/openAccess | spa |
| dc.rights | Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2.5 CO) | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/co/ | * |
| dc.subject.lcsh | Lambda calculus | - |
| dc.subject.lcsh | Type theory | - |
| dc.subject.lcsh | Curry-Howard isomorphism | - |
| dc.subject.lcsh | Logic, symbolic and mathematical | - |
| dc.title | Simply typed lambda calculus with opposite types | spa |
| dc.type | info:eu-repo/semantics/bachelorThesis | spa |
| oaire.version | http://purl.org/coar/version/c_b1a7d7d4d402bcce | spa |
| dc.rights.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
| thesis.degree.name | Matemático | spa |
| thesis.degree.level | Pregrado | spa |
| thesis.degree.discipline | Facultad de Ciencias Exactas y Naturales. Matemáticas | spa |
| thesis.degree.grantor | Universidad de Antioquia | spa |
| dc.rights.creativecommons | https://creativecommons.org/licenses/by-nc-sa/4.0/ | spa |
| dc.publisher.place | Medellín, Colombia | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
| dc.type.redcol | https://purl.org/redcol/resource_type/TP | spa |
| dc.type.local | Tesis/Trabajo de grado - Monografía - Pregrado | spa |
| dc.subject.lemb | Lógica simbólica y matemática | - |
| dc.subject.proposal | Tipos opuestos | spa |
| dc.subject.proposal | Normalización fuerte | spa |
| dc.subject.lcshuri | http://id.loc.gov/authorities/subjects/sh85074174 | - |
| dc.subject.lcshuri | http://id.loc.gov/authorities/subjects/sh85139126 | - |
| dc.subject.lcshuri | http://id.loc.gov/authorities/subjects/sh2001002954 | - |
| dc.subject.lcshuri | http://id.loc.gov/authorities/subjects/sh85078115 | - |
| Aparece en las colecciones: | Matemáticas | |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| PinillaAlejandro_2022_SimplyTypedLambda.pdf | Trabajo de grado de pregrado | 410.31 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
