Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi

DOI10.23638/LMCS-13(3:34)2017zbMath1459.03014arXiv1706.07246MaRDI QIDQ5367073

Péter Battyányi, Karim Nour

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1706.07246

zbMATH Keywords

\(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)-calculus\(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculusarithmetical proofstrong normalization, classical logiczoom-in sequences of redexes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi