Observatorio de I+D+i UPM

Memorias de investigación
Cursos, seminarios y tutoriales:
Estrategias del cálculo lambda e interderivación de artefactos semánticos
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Garcia Perez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)