Navegación

Búsqueda

Búsqueda avanzada

Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás (resumen)

Resumen:

Este es el resumen de la ponencia en Castellano sobre el artículo titulado “No solvable lambda-value term left behind” publicado por los autores en la revista Logical Methods in Computer Science Vol. 2(2:12) 2016, págs.1–43. La ponencia forma parte del programa de las XVI Jornadas sobre Programación y Lenguajes dentro del V Congreso Español de Informática que tuvo lugar del 13 al 16 de septiembre de 2016 en Salamanca.

Palabras Clave:

Autor(es):

Handle:

11705/PROLE/2016/006

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.