Simply typed lambda calculus with opposite types
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. Tw...
- Autores:
-
Pinilla Barrera, Alejandro
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2022
- Institución:
- Universidad de Antioquia
- Repositorio:
- Repositorio UdeA
- Idioma:
- eng
- OAI Identifier:
- oai:bibliotecadigital.udea.edu.co:10495/27314
- Acceso en línea:
- http://hdl.handle.net/10495/27314
- Palabra clave:
- Lambda calculus
Type theory
Curry-Howard isomorphism
Logic, symbolic and mathematical
Lógica simbólica y matemática
Tipos opuestos
Normalización fuerte
http://id.loc.gov/authorities/subjects/sh85074174
http://id.loc.gov/authorities/subjects/sh85139126
http://id.loc.gov/authorities/subjects/sh2001002954
http://id.loc.gov/authorities/subjects/sh85078115
- Rights
- openAccess
- License
- Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2.5 CO)