Inria / Raweb 2008
Presentation of the Project TypiCal

TypiCal

Types, Logic and Computation

2008 Research Team Activity Report
Saclay - Île-de-France
Theme : SYM
Presentation of the Project-Team - Activity Report in PDF or XML format


previous
next