Observatorio de I+D+i UPM

Memorias de investigación
Cursos, seminarios y tutoriales:
The Beta Cube (Poster)
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
The Beta Cube systematises and articulates a plethora of lambda claculus reduction strategies. Along with the cube, we present an hybridisation operator, which allows to produce new strategies composing two existing strategies from the cube. The cube reveals interesting algebraic properties of the strategies and helps to reason about standardization and normalization regarding to different lambda theories
Internacional
No
Nombre congreso
BRICS Retreat
Entidad organizadora
University of Aarhus
Nacionalidad Entidad
DINAMARCA
Lugar/Ciudad de impartición
Gjern, Dinamarca
Fecha inicio
29/03/2011
Fecha fin
29/03/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)