Inria / Raweb 2003
Project: calligramme

Linear Logic, Proof Nets and Categorial Grammars

calligramme

2003 research project activity report
Lorraine
Theme: 2A
Presentation of the project - Activity report in PostScript, PDF or XMLformat


previous
next