|
Descripción
|
|
|---|---|
| En esta charla discutimos la relación entre distintos artefactos semánticos del cálculo lambda, poniendo especial atención en una estrategia normalizante en el cálculo lambda value de Plotkin, a la que llamamos strict normal order. | |
|
Internacional
|
No |
|
Nombre congreso
|
III Taller de Programación Funcional, TPF-2011 |
|
Entidad organizadora
|
III Taller de Programación Funcional, TPF-2011 |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Lugar/Ciudad de impartición
|
La Coruña |
|
Fecha inicio
|
05/09/2011 |
|
Fecha fin
|
05/09/2011 |