scientific article; zbMATH DE number 1456954
From MaRDI portal
Publication:4954443
zbMath0938.03024MaRDI QIDQ4954443
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus ⋮ Programming and Proving with Classical Types ⋮ The Cooper storage idiom ⋮ Domain-Freeλµ-Calculus ⋮ Strong normalization proof with CPS-translation for second order classical natural deduction ⋮ An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Quantifiers in Japanese ⋮ Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus ⋮ The approximation theorem for the Λμ-calculus
This page was built for publication: