Inria
/
Raweb 2010
Presentation of the Project r2
Logo Inria
r
2
Design, study and implementation of languages for proofs and programs
2010 Research Team Activity Report
Paris - Rocquencourt
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
) format
Members
Overall Objectives
Scientific Foundations
Proof theory and the Curry-Howard correspondence
The development of Coq
Dependently typed programming languages
Around and beyond the Curry-Howard correspondence
Application Domains
The impact of Coq
Software
Coq
Pangolin
Other software developments
New Results
Proof-theoretical investigations
Metatheory of Coq and beyond
Coq as a functional programming language
Other Grants and Activities
National Actions
Equipe Associée
EC projects
Dissemination
Interaction with the scientific community
Visits
Teaching
Participation in conferences and seminars
Other dissemination activities
Bibliography
Major publications
Publications of the year
References in notes
r2