The λσ-Calculus and Strong Normalization
- Anders Schack-Nielsen
Publikation:
Bog / Antologi / Rapport
Rapport
Open Access
Resume
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.
Publikation information
Produktionstype
Publikation:
Bog / Antologi / Rapport
Rapport
Originalsprog
EngelskPublikationsmilepæle
- Udgivet - 10/2010
Publikationsstatus
Udgivet - 10/2010
Udgivelsessted
CopenhagenUdgave
TR-2010-132Forlag
IT-Universitetet i København, DanmarkBogserie
- Bogserienavn: IT University Technical Report Series
Serienummer: TR-2010-132
ISSN: 1600-6100
ISBN (Elektronisk)
9788779492257Adgang til dokumenter
Forlagets udgivne version, 246.38 KB