scientific article; zbMATH DE number 1456954
From MaRDI portal
Publication:4954443
Recommendations
Cited in
(22)- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- CPS-translation as adjoint
- The Cooper storage idiom
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus
- Domain-free -calculus
- scientific article; zbMATH DE number 1722662 (Why is no real title available?)
- Linear is CP (more or less)
- Quantifiers in Japanese
- scientific article; zbMATH DE number 1222571 (Why is no real title available?)
- scientific article; zbMATH DE number 1070627 (Why is no real title available?)
- scientific article; zbMATH DE number 2053247 (Why is no real title available?)
- scientific article; zbMATH DE number 2061706 (Why is no real title available?)
- An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus
- Strong normalization proof with CPS-translation for second order classical natural deduction
- scientific article; zbMATH DE number 1910399 (Why is no real title available?)
- Programming and Proving with Classical Types
- The approximation theorem for the \(\Lambda_{\mu}\)-calculus
- Relational Parametricity and Control
- Stabilization -- an alternative to double-negation translation for classical natural deduction
- A linear translation from CTL^* to the first-order modal -calculus
- Pedagogical second-order \(\lambda \)-calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4954443)
