An Infinitary Model of Linear Logic.

Charles Grellois Paul-André Melliès

Published in: FoSSaCS (2015)

Keyphrases

probabilistic model
high level
image segmentation
bayesian networks
general purpose
theoretical framework
linear logic