The λσ-Calculus and Strong Normalization
- Anders Schack-Nielsen
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 10/2010
Publication status
Published - 10/2010
Place of publication
CopenhagenEdition
TR-2010-132Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2010-132
ISSN: 1600-6100
ISBN (Electronic)
9788779492257Abstract
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.
Access to documents
Final published version, 246.38 KB