Search
Now showing items 1-10 of 70
Normalization Proofs for the Simply-Typed Lambda Calculus in Agda
(Universidad ORT Uruguay, 2020)
La 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 ...
Normalização forte via ordinal natural
([s.n.], 1999)
Sistemas y subsistemas de sustituciones explícitas: Explicit substitution systems and subsystems
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2005)
A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution
(Universidad ORT Uruguay, 2018)
En el siguiente trabajo se presenta la formalización en Agda del Teorema de Estandarización para el Cálculo Lambda. Se presenta un corolario del Teorema de Estandarización junto con la demostración del teorema de reducción ...
Construções categóricas intervalares em Haskell
(Universidade Federal de Pernambuco, 2014)
Programacion funcional y lambda cálculo
(Universidad Nacional de Colombia - Facultad de Ingeniería, 1998)
En la primera parte de este artículo se explican algunos conceptos de los lenguajes de programación, haciendo énfasis en las caracteristicas y propiedades de los lenguajes de programación funcional. En la segunda, se realiza ...
Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)