Strong normalization from weak normalization by translation into the lambda-I-calculus

DOI10.1023/A:1025693307470zbMath1074.68010OpenAlexW1554512155MaRDI QIDQ1426886

Signe Reuss, Inge Li Gørtz, Morten Heine B. Sørensen

Publication date: 15 March 2004

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025693307470

zbMATH Keywords

normalizationfunctionalscontinuation passing style translationlambda-I-calculusthunkification translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Strong normalization proofs by CPS-translations ⋮ Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions

Uses Software

• Automath

This page was built for publication: Strong normalization from weak normalization by translation into the lambda-I-calculus