A strong normalization result for classical logic
From MaRDI portal
Publication:1902976
DOI10.1016/0168-0072(95)00004-ZzbMath0832.03028MaRDI QIDQ1902976
Stefano Berardi, Franco Barbanera
Publication date: 5 March 1996
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items (3)
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus ⋮ Programming and Proving with Classical Types ⋮ Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
Cites Work
This page was built for publication: A strong normalization result for classical logic