Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Separation in the $ \lambda$$ \mu$ -calculus

Participant : Alexis Saurin.

The $ \lambda$$ \mu$ -calculus has been proposed in recent years by M. Parigot as a term calculus inspired by classical logic (similar to the way that the $ \lambda$ -calculus is inspired by intuitionistic logic. Later on, David & Py proved that the separation rules failed for the $ \lambda$$ \mu$ -calculus, leading to the need to fix the calculus. In [Oops!] , Saurin showed a way to regaining the separation theorem by a natural extension of the $ \lambda$$ \mu$ -calculus to the $ \upper_lambda$$ \mu$ -calculus.


previous
next

Logo Inria