Exploring the gap between linear and classical logic (2007)

by François Lamarche
Venue:Theory and Applications of Categories, 18:473–535