Memorias de investigación
Courses, Seminars and tutorials:
The Beta Cube (Poster)
Year:2011

Research Areas
  • Information technology and adata processing

Information
Abstract
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
International
No
Congress
BRICS Retreat
Entity
University of Aarhus
Entity Nationality
DINAMARCA
Place
Gjern, Dinamarca
Start Date
29/03/2011
End Date
29/03/2011
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa