Resumen: Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás
Cargando...
Archivos
Fecha
Editor
Sistedes
Publicado en
Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016)
Licencia Creative Commons
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.