Resumen:
Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás

Fecha

2016-09-02

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.

Descripción

Acerca de García Pérez, Álvaro

Palabras clave

Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX