Normalization Proofs for the Simply-Typed Lambda Calculus in Agda

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Daniel
dc.contributor.advisorSzasz Cerutti, Nora Adriana
dc.contributor.authorUrciuoli Silva, Sebastián
dc.contributor.tribunalFernández, Maribel
dc.contributor.tribunalPagano, Miguel
dc.date.issued2020
dc.descriptionIncluye bibliografía y anexos.
dc.description.abstractLa siguiente Tesis presenta una formalización en Agda de dos teoremas fundamentales del cálculo lambda: la normalización débil y la normalización fuerte de los términos tipados usando una técnica de prueba propuesta por Joachimski y Matthes. La tesis comienza con una introducción del problema y las técnicas involucradas en la pruebas de normalización; también se presenta la librería de Agda en la que se basa el desarrollo. En los capítulos siguientes se explica de manera amena y se detalla la mecanización de la prueba. El aporte de la tesis consiste en la formalización de una prueba de normalización débil como fuerte. No hay formalizaciones conocidas de la técnica de Joachimski y Matthes. Para completar la prueba, se agrega algunos resultados a la librería en la que se basa el trabajo.
dc.format.extent73 p.
dc.identifier.citationUrciuoli Silva, S. (2020). Normalization Proofs for the Simply-Typed Lambda Calculus in Agda (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería.
dc.languageInglés.
dc.publisherUniversidad ORT Uruguay
dc.relation.otherhttps://sisbibliotecas.ort.edu.uy/bib/90908
dc.subjectPROYECTOS-MI
dc.subjectLAMBDA
dc.subjectCÁLCULO
dc.subjectTEORÍA CONSTRUCTIVA DE TIPOS
dc.subjectAGDA
dc.titleNormalization Proofs for the Simply-Typed Lambda Calculus in Agda
dc.typeTrabajo final de carrera
ort.thesis.careerFI - Master en Ingeniería - MI
ort.thesis.degreegrantorFacultad de Ingeniería
ort.thesis.degreelevelMaster
ort.thesis.degreenameMaster en Ingeniería
ort.thesis.degreetypeDesarrollo de Tesis
ort.thesis.noteDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
552.15 KB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de postgrado