\(\lambda \rho\)-calculus. II

DOI10.21099/TKBJM/1389972031zbMath1280.03016OpenAlexW2253420079MaRDI QIDQ2434902

Yuichi Komori

Publication date: 31 January 2014

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.tkbjm/1389972031

zbMATH Keywords

\(\lambda \mu\)-calculusstrong normalization theoremclassical logictyped \(\lambda\)-calculusLK\(\lambda \rho\)-calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Reduction rules for intuitionistic \(\lambda\rho\)-calculus

This page was built for publication: \(\lambda \rho\)-calculus. II