Normalization proofs for the un-typed μμ'-calculus

A long-standing open problem of Parigot has been solved by David and Nour, namely, they gave a syntactical and arithmetical proof of the strong normalization of the untyped μμ'-reduction. In connection with this, we present in this paper a proof of the weak normalization of the μ and μ'-ru...

Celý popis

Podrobná bibliografie

Vydáno v:	AIMS mathematics Ročník 5; číslo 4; s. 3702 - 3713
Hlavní autoři:	Battyányi, Péter, Nour, Karim
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	AIMS Press 2020
Témata:	normalization algorithm strong normalization weak normalization λμ-calculus μμ'-calculus
ISSN:	2473-6988, 2473-6988
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!