Programming Systems Lab: Publications by François Lamarche

Saarland University Computer Science

Select author:

2004

From Proof Nets to the Free *-Autonomous Category   (pdf)
François Lamarche, Lutz Straßburger
Submitted

Naming Proofs in Classical Propositional Logic   (pdf)
François Lamarche, Lutz Straßburger
Submitted.


Login to edit


Webmaster, Mon May 30 13:48:30 2016