Report - Proof Nets as Formal Feynman Diagramsiulg/qliqc/phi.pdf · Proof Nets as Formal Feynman Diagrams ... and shown how to represent the exponential types in linear logic as an exponential

Please pass captcha verification before submit form