lecture notes

Niveau: Supérieur
ar X iv :c s.L O /0 61 01 23 v2 20 N ov 2 00 6 appor t de r ech er ch e IS SN 02 49 - 63 99 IS R N IN R IA /R R - - 60 13 - - FR + EN G Theme SYM INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Proof Nets and the Identity of Proofs Lutz Straßburger N° 6013 October 2006

• resume mots-cles


• linear logic


• unit-free multiplicative


• unite de recherche


• demonstrations


• unnecessary bureaucracy


• identite des demonstrations resume