## Section: New Results

### Separation in the -calculus

Participant : Alexis Saurin.

The -calculus has been proposed in recent years by M. Parigot as a term calculus inspired by classical logic (similar to the way that the -calculus is inspired by intuitionistic logic. Later on, David & Py proved that the separation rules failed for the -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 -calculus to the -calculus.

Logo Inria