Proof Nets as Formal Feynman Diagrams

by Richard Blute , Prakash Panangaden