@book{dae599cbc1b245ff947954def4e3d981,
title = "The λσ-Calculus and Strong Normalization",
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.",
keywords = "lambda-sigma-calculus, strong normalization, reduction rules, term rewriting, formal methods",
author = "Anders Schack-Nielsen",
year = "2010",
month = oct,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2010-132",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2010-132",
}