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 |