PI.R2 - 2014 - Annual activity report

PI.R2

PI.R2 - 2014

Project-Team Pi.r2

Members

Overall Objectives

Research Program

Proof theory and the Curry-Howard correspondence
The development of Coq
Dependently typed programming languages
Around and beyond the Curry-Howard correspondence

New Software and Platforms

COQ (http://coq.inria.fr)
Other software developments

New Results

Highlights of the Year
Proof-theoretical and effectful investigations
Type theory and the foundations of Coq
Homotopy of rewriting systems
Coq as a functional programming language

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: Partnerships and Cooperations

European Initiatives

Collaborations with Major European Organisations

Pierre-Louis Curien, Yves Guiraud and Philippe Malbos are collaborators of the Applied and Computational Algebraic Topology (ACAT) networking programme of the European Science Foundation.

Previous |

Home | Next next