Field :
Algorithmics, Programming, Software and Architecture

Theme : Programs, Verification and Proofs

Presentation of the
Project-Team
- Activity Report in
PDF or XML or ePub (test) formatTheme : Programs, Verification and Proofs

- Members
- Overall Objectives
- Scientific Foundations
- Application Domains
- Software
- New Results
- Proof normalization via atomic flows
- Typing lambda-terms with deep inference
- Subexponential logic
- Dynamic polarity assignment
- Heterogeneous verification for distributed algorithms
- Complexity of -terms and intersection types
- A focused sequent calculus interacting with decision procedures
- Towards a stochastic linear logic for biological computation

- Other Grants and Activities
- Dissemination
- Bibliography