Factorización de derivaciones a través de tipos intersección
En sistemas de tipos intersección no idempotentes típicos, la normalización de pruebas no es confluente. En este trabajo presentamos un sistema confluente de tipos intersección no idempotentes para el cálculo λ. Escribimos las derivaciones de tipos usando una sintaxis concisa de términos de prueba....
Guardado en:
| Autor principal: | Ciruelos Rodríguez, Gonzalo |
|---|---|
| Formato: | Tesis de Grado |
| Lenguaje: | Español |
| Publicado: |
28 d
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.12110/seminario_nCOM000445_CiruelosRodriguez |
| Aporte de: |
Ejemplares similares
-
Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (2018) -
Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (2018) -
Factoring Derivation Spaces via Intersection Types
por: Barenbaum, P., et al. -
Factoring Derivation Spaces via Intersection Types
Publicado: (2018) -
The expansion problem in lambda calculi with explicit substitution
Publicado: (2008)