Strong normalization proofs by CPS-translations
type: Item
instance of: scholarly article
title: Strong normalization proofs by CPS-translations
zbMATH Open document ID: 1185.68625
author: Satoshi Ikeda
author: Koji Nakazawa
published in: Information Processing Letters
publication date: 2010-01-29T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5664478
zbMATH Keywords: programming calculi
zbMATH Keywords: continuation passing style translation
zbMATH Keywords: strong normalization
zbMATH Keywords: classical natural deduction
zbMATH Keywords: permutative conversion
MaRDI profile type: Publication
full work available at URL: j.ipl.2006.03.009
OpenAlex ID: W2041951938
cites work: A short proof of the strong normalization of classical natural deduction with disjunction
cites work: Q3024836
cites work: Q2778822
cites work: On the strong normalisation of intuitionistic natural deduction with permutation-conversions
cites work: Domain-free \(\lambda\mu\)-calculus
cites work: Strong normalization from weak normalization by translation into the lambda-I-calculus
cites work: Q5477358
cites work: Non-strictly positive fixed points for classical natural deduction
cites work: Strong normalization proof with CPS-translation for second order classical natural deduction
cites work: Q4255509
cites work: Proofs of strong normalisation for second order classical natural deduction
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q5714454
DOI: 10.1016/J.IPL.2006.03.009
description: scientific article; zbMATH DE number 5664478