Abstract
Abstract
The general λσ-calculus is not strongly normalizing, but we show how a small restriction in the reduction rules allows us to prove strong normalization.
The general λσ-calculus is not strongly normalizing, but we show how a small restriction in the reduction rules allows us to prove strong normalization.
| Original language | English |
|---|
| Place of Publication | Copenhagen |
|---|---|
| Publisher | IT-Universitetet i København |
| Edition | TR-2010-132 |
| ISBN (Electronic) | 9788779492257 |
| Publication status | Published - Oct 2010 |
| Series | IT University Technical Report Series |
|---|---|
| Number | TR-2010-132 |
| ISSN | 1600-6100 |