The λσ-Calculus and Strong Normalization

Anders Schack-Nielsen

The λσ-Calculus and Strong Normalization

Anders Schack-Nielsen

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

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.

Originalsprog	Engelsk

Udgivelsessted	Copenhagen
Forlag	IT-Universitetet i København
Udgave	TR-2010-132
ISBN (Elektronisk)	9788779492257
Status	Udgivet - okt. 2010

Navn	IT University Technical Report Series
Nummer	TR-2010-132
ISSN	1600-6100

Adgang til dokumentet

ITUTR2010132pdfForlagets udgivne version, 246 KB

Citationsformater

@book{dae599cbc1b245ff947954def4e3d981,

title = "The λσ-Calculus and Strong Normalization",

abstract = "AbstractThe general λσ-calculus is not strongly normalizing, but we show how a small restriction in the reduction rules allows us to prove strong normalization.",

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",

}

TY - RPRT

T1 - The λσ-Calculus and Strong Normalization

AU - Schack-Nielsen, Anders

PY - 2010/10

Y1 - 2010/10

N2 - AbstractThe general λσ-calculus is not strongly normalizing, but we show how a small restriction in the reduction rules allows us to prove strong normalization.

AB - AbstractThe general λσ-calculus is not strongly normalizing, but we show how a small restriction in the reduction rules allows us to prove strong normalization.

M3 - Report

T3 - IT University Technical Report Series

BT - The λσ-Calculus and Strong Normalization

PB - IT-Universitetet i København

CY - Copenhagen

ER -

The λσ-Calculus and Strong Normalization

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater