The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic.

Thomas Ehrhard, Claudia Faggian, Michele Pagani

Browse the full FSCD paper archive.