Normalization without syntax

DOI10.4230/LIPICS.FSCD.2022.19MaRDI QIDQ6544114zbMATH OpenFDO

Authors Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.19

zbMATH Keywords

combinatorial proofsCurry-Howardintuitionistic logiclambda-calculusproof nets

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Intuitionistic proofs without syntax
• scientific article; zbMATH DE number 7204450
• Some general results about proof normalization
• Short Proofs of Strong Normalization
• Cut elimination, substitution and normalisation

Cited in

(1)

• Intuitionistic proofs without syntax

This page was built for publication: Normalization without syntax

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544114)