The value of a classical integer in \(\lambda \mu\)-calculus
From MaRDI portal
Publication:678254
DOI10.1007/s001530050076zbMath0878.03011OpenAlexW2091770994MaRDI QIDQ678254
Publication date: 23 June 1997
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050076
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Normalization in the simply typed -calculus ⋮ Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus ⋮ Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus
This page was built for publication: The value of a classical integer in \(\lambda \mu\)-calculus