On modelling polymorphism with categories:

- François Lamarche,
*Modelling polymorphism with categories*, PhD thesis, McGill University, 1985. [McGill repository]

On proof nets for intuitionistic linear logic:

- François Lamarche,
*Proof Nets for Intuitionistic Linear Logic: Essential Nets*, 2008. [HAL:inria-00347336]

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.