scientific article; zbMATH DE number 1456954
From MaRDI portal
Publication:4954443
zbMATH Open0938.03024MaRDI QIDQ4954443FDOQ4954443
Authors: Philippe de Groote 
Publication date: 7 June 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
- Relational Parametricity and Control
- Quantifiers in Japanese
- Programming and Proving with Classical Types
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- Title not available (Why is that?)
- The approximation theorem for the \(\Lambda_{\mu}\)-calculus
- CPS-translation as adjoint
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
- Title not available (Why is that?)
- An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus
- Pedagogical second-order \(\lambda \)-calculus
- Linear \(\lambda \mu\) is CP (more or less)
- Domain-free \(\lambda\mu\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus
- Stabilization -- an alternative to double-negation translation for classical natural deduction
- The Cooper storage idiom
- Strong normalization proof with CPS-translation for second order classical natural deduction
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)
