nLab François Lamarche

• dblp

• Mathematics Genealogy Project

Selected papers

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