33 citations · 87 across the 15 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.LO2006
Proof Nets and the Identity of Proofs
Lutz Strassburger
These are the notes for a 5-lecture-course given at ESSLLI 2006 in Malaga, Spain. The URL of the school is http://esslli2006.lcc.uma.es/ . This version slightly differs from the on…
cs.LO2006★ 33 cited
From Proof Nets to the Free *-Autonomous Category
Francois Lamarche, Lutz Strassburger
In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-…