Navegación

Búsqueda

Búsqueda avanzada

El autor Pablo Nogueira ha publicado 1 artículo(s):

1 - Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás (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.

Autores: Álvaro García-Pérez / Pablo Nogueira / 
Palabras Clave: