nLab François Lamarche

Selected papers

Selected papers

On modelling polymorphism with categories:

On proof nets for intuitionistic linear logic:

On non-commutative linear logic:

  • Richard Blute, François Lamarche, Paul Ruet?, Entropic Hopf algebras and models of non-commutative logic, Theory and Applications of Categories 10 17 (2002) 424–460 [TAC]
category: people

Created on October 16, 2023 at 07:27:34. See the history of this page for a list of all contributions to it.