An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.

Jules Chouquet, Lionel Vaux Auclair

Browse the full CSL paper archive.